数理逻辑的思想与方法 【数理化】

本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。

几何学的思想与方法 【数理化】

本书利用数学思想方法，统领、整合、优化高等院校的几何学的知识与内容，并将几何发展与数学史融合在一起。

气动弹性问题的模型试验技术 【数理化】

相拟理论与结构模型试验 【数理化】

本书结合工程抗震设计的具体示例对设计的注意事项进行了阐述，适合本专科教学和工程技术人员使用。

塑性结构的动力学模型 【数理化】

连续力学中的数学模型 【数理化】

素数及其快速判定的新方法与应用 【数理化】

数学分析中的典型问题与方法 【数理化】

集合论含有原子的自然模型和布尔值模型 【数理化】

本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此，本文首先定义了模态公式□α的布尔值||□α||；其次证明在该定义下，模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的...

实变函数论的典型问题与方法 【数理化】