证明论是逻辑基础理论的分枝.结构证明论是证明论的分枝，它研究演算中的分析性证明.本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算.根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明.本书还介绍了一阶逻辑、模态逻辑

逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具

师生关系一直是影响教育活动的重要因素之一。随着人工智能的勃兴，基于物联网、云计算、大数据、泛在网络等新一代信息技术在教育领域的推广应用，不仅使教育步入新的发展阶段，而且给师生关系及其建设带来新的机遇与挑战。本书发现，师生关系从原来仅限于人类教师与学生之间的双主体关系走向人类教师、机器人教师和学生三者间的三主体关系。本书

本书以饲料智能加工生产学理论为纲，主要论述配合饲料的智能加工设备与加工工艺，兼顾添加剂预混合饲料智能加工技术，涵盖生产配合饲料的原料接收-清理-储存-输送-粉碎-配料-混合等全流程生产工艺。全书共11章，第一章为绪论部分，主要介绍了饲料智能加工的特点、优势，以及饲料智能加工工业的现状与发展前景；第二章至第十一章不仅介绍

本书共19章。详细介绍了以下内容：不同类型环境，包括海水环境、低温及碱性极端环境、植物内生环境等样本的DNA/RNA提取及宏基因组文库构建技术；从核酸、脱氧核酸、蛋白质三个角度分析环境微生物代谢活性；通过宏基因组测序获得功能基因分类及多样性的方法；从基因组学技术层面介绍复杂微生物群落的研究方法，以及挖掘活性基因（如有机

本书从电磁兼容基本概念和发展趋势切入，分别介绍：电磁兼容性分析的必要性，电磁计算方法在电磁兼容分析与设计领域的发展趋势；电磁兼容分析中的基础理论知识；传导发射与传导抗扰度基本概念；线缆耦合电磁兼容分析，包括电磁计算方法对场-线-路耦合等典型电磁兼容问题的分析；辐射发射与电磁兼容分析的计算电磁学方法；系统级电磁兼容分析的

为了突破光纤非线性对系统传输容量的限制，进一步提高光纤的带宽利用率，人们开始发展并利用新的光纤复用维度——空分复用(SDM)。空分复用技术与密集波分复用(DWDM)系统的融合应，有助于实现多维复用光纤网络的发展目标。本书从空分复用角度重新梳理光纤的相关知识，总结空分复用光纤的**成果，形成了较为完整的空分复用光纤理论体

本书体现了网络安全保密一体化设计与运用的思想，横向上沿着PDR动态模型，纵向上沿着IATF动态模型，立体式地组织内容。本书涵盖了通信加密、认证与访问控制、可信计算等基于密码的网络安全机制，以及操作系统安全、防火墙、网闸、入侵检测、网络态势感知、内容安全、网络攻击溯源等通用网络安全机制，同时强调人的因素、管理因素和安全保

本书汇聚全球十多个国家九十多名**专家、百余位研究人员的智慧，将“生命”本身作为系统工程，进行拆解、研究、再组装，是仿生和人机协同领域的一本工具书。生命机器属于生物技术前沿领域，又涉及计算机、电子工程、机器人、能源、系统工程、脑科学、心理学、伦理学等多种学科，本书属于典型的生物交叉类学术成果。全书共7篇65章，从路线图

本书是对耶鲁学派的思想史研究。其目的不是对耶鲁学派作对象化的梳理和引介，而是将耶鲁学派文论的范式特征、语言论直观和时间诗学洞见放到整个西方思想史的背景中，去考察其形而上学的价值。耶鲁学派所发现的书写的双重性、语言三维与时间三矢的错综复杂的交互发生机制，不仅为化解各种形而上学的疑难提供了新的思想资源，而且初步地开创出了一