缺省逻辑的扩充 【数理化】

本书首先从形式上较为简单的有限的无前提正规闭缺省理论入手，系统的研究了有限的无前提正规闭缺省理论的相容扩充，对相容扩充进行了分类；同时，对缺省规则固定时，缺省理论可能有的不同相容扩张的个数进行了估计。...

偏微分方程的并行算法 【数理化】

本书学术水平很高，可供数学系研究生、应用数学工作者和科研人员阅读。

场的本质是空间初探 【数理化】

本书是以哲学为工具解释场的本质。该书主要论述“场”本质上就当是“波”所及的空间，把“场”理解为空间，场空间中有物质粒子运动。

均相催化中的过渡金属 【数理化】

微观组织的热力学 【数理化】

本书介绍了纯物质、溶体等单相以及多相的平衡态热力学基本问题，对组织控制的核心问题进行了热力学解析。

揭开电与磁的秘密 【数理化】

本书以电磁学的发展过程为主线，介绍了许多科学家的珍闻趣事以及一些重大科学发现的曲折过程。

物理之妖 科学创造的神话 【数理化】

本书为现代物理学科普图书，讲述近现代理论物理发展史中有趣的科学故事与科学人物。

用氦氖激光器的光学实验 【数理化】

数学物理的几何方法 【数理化】

近年来，现代微分几何在理论物理中扮演着重要的角色，并且在相对论、宇宙学、高能量物理和场论、热动力学、流体力学以及力学中的应用也日益突显。...

流形的拓扑学 【数理化】

本书主题是围绕流形的拓扑学介绍拓扑学与分析学的相互关系-指标定理。内容从微分流形的基本理论到深刻的Riemann-Roch定理、Atiyah-Singer指标定理。...