本书从数理逻辑模型论的基本知识开始，介绍近年来在稳定性和单纯性理论中出现的新成果、新方法，并提供了相关练习。

本书是数学模型课程的教材。重点阐述：（1）如何从具体事物抽象出数学概念，有了解这种抽象只是一种近似，只反映具体事物的某些特性；（2）如何从复杂的实际问题中寻找最重要的因素；（3）如何既注意思考的逻辑性、严密性，又紧密结合实际情况；（4）如何将所得结果应用与实践、通过实践进一步改进模型。本书采取案例教学的形式，内容有数学

本书从系统模型构建与算法设计相结合的角度，阐述系统建模的基本原理和方法，介绍了主要的应用数学模型及其算法设计的基本方法等。

数理逻辑与集合论是离散数学的主要组成部分，是计算机科学的数学基础。《清华大学计算机系列教材：数理逻辑与集合论（第2版）》共12章，前8章介绍数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论，后4章介绍集合论，包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材：数理逻辑与集合论（

本书详细介绍了数学模型的基本概念、各类数学模型的建立及其求解方法。书中涉及的模型有初等模型、微分方程模型、变分法模型、运筹学模型、图论模型、网络模型等。全书共分10章。

内容有：紧致性定理，省略型定理，内插定理，完全理论与模型完全理论，初等链，超积，模型论力追法，饱和模型等，并附有模型论方法对经典数学应用的一些例子

本书共六部分，分上、下两册。下册包括第三、四、五章和两个附录。第三章陈述逻辑演算的重言式系统，并研究自然推理系统和重言式系统的关系。第四章研究逻辑演算的可靠性和完备性问题。笫五章讨论了逻辑演箅如何应用于陈述具体的数学理论，并且研究了在数学中引进定义的形式化问题。附录(一)陈述带量词的命题逻辑；附录(二)定义了斜形证明，

本书共六部分，分上、下两册.上册包括绪论、第一章和第二章.绪论对数理逻辑的性质，逻辑演算的大概内容.以及阅读以后各章所需要的预备知识作了简要的说明.第一章构造命题逻辑和一阶逻辑的形式系统，介绍演绎逻辑的基本规则.第二章研究逻辑演算的重要系统特征