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

本书介绍了声学学科多个分支的概貌、基本原理及应用，主要内容包括音频技术、环境声学、超声检测技术、医学超声、微声学、人工声学材料和功率超声。本书避免了对声学理论的平铺直叙，而是侧重于对声学相关应用领域的介绍，以适应本书通俗易懂、严谨有趣的科普读物定位。

本书共12章，第1章为绪论；第2～5章为疲劳分析基础篇，介绍材料循环特性，常幅疲劳的高周疲劳曲线和低周疲劳曲线，变幅疲劳的损伤累积理论，随机疲劳的循环计数方法及结构疲劳分析方法；第6～9章为断裂力学基础篇，介绍线弹性断裂力学和弹塑性断裂力学基本理论及疲劳裂纹扩展相关知识；第10～12章为应用和发展篇，介绍基于有限元方法

“物理化学实验”是高等学校化学化工类专业本科生培养的必修核心课程，是化学实验教学的重要环节。本书专门为此门课程编写，适用于高等学校化学化工类专业及其相关专业的“物理化学实验”课程教学。本书由绪论、实验、基础知识与技术和附录四部分组成，其中37个实验涵盖了热力学、动力学、电化学、表面性质与胶体化学和结构化学等物理化学分支

"本书内容由浅入深、逐层递进，包括固体光学宏观理论、晶体的线性光学性质与非线性光学性质及其应用、固体材料的发光、发光材料的制备与发光特性测试、固体光学中的性能检测等。本书既保留了固体光学领域的经典理论，又紧密结合固体光学领域的最新科研成果，以及我国相关产业在时代发展下的知识需求，系统介绍了固体光学领域的前沿发展。读者通

"本书是教育部“面向21世纪高等教育教学内容和课程体系改革计划”项目研究成果《工程电磁场导论》一书的修订本，是在西安交通大学电工原理教研室多年教学研究和实践的基础上编写而成的。全书内容分为8章：静电场、恒定电场、恒定磁场、时变电磁场、准静态电磁场、平面电磁波的传播、均匀传输线中的导行电磁波、波导与谐振腔。不仅在每小节后

"本书根据《理工科类大学物理实验课程教学基本要求》（2010年版）和本科一年级学生所掌握的物理概念与实验基础知识编写而成，主要包括实验基础理论和47个物理实验。实验基础理论部分给出了一些在实验数据处理中必须要用到的计算公式（例如求测量结果的不确定度公式），同时介绍了有关随机误差的概率统计分析理论。物理实验部分分为基础性

"本书根据教育部高等学校物理学与天文学教学指导委员会编制的《理工科类大学物理实验课程教学基本要求》（2010年版）和太原工业学院围绕“立德树人、强化实践、突出应用、服务社会”的办学理念开展应用型本科教育教学工作的办学思路，结合学院大学物理实验课程教学改革的实践经验编写而成。全书共6章，内容包括测量误差及数据处理、力学和

"1938年诺贝尔物理学奖获得者费米是20世纪贡献最大的物理学家之一，同时又是一位优秀的教育工作者。本书是他于1954年在美国芝加哥大学最后一次讲授量子力学时准备的提纲手稿，是珍贵的历史文献。中译本按照作者手稿，参照苏联МИР出版社1965年俄译本翻译成中文，并影印了作者的英文手稿。为了方便读者理解，译文补上了手稿中略

"本书是根据作者在吉林大学物理学院多年的数学物理方法课程教学经验编写而成的。本书内容包括：基础数学知识、数学物理方程定解问题概述、行波法、积分变换法、直角坐标系下的分离变量法、球坐标系下的拉普拉斯方程、柱坐标系下的拉普拉斯方程、波动方程和热传导方程、一维线性谐振子定态方程、氢原子定态方程、格林函数法和变分法，共12章。