本书介绍模型论的基础知识。主要内容有：紧致性定理，省略型定理，内播定理，完全理论与模型完全理论，初等键，越积，模型论力迫法，他和模型等．并附有模型论方法对经典数学应用的一些例子。 本书可供大学数学专业高年级学生及研究生、数学教师及数学工作者阅读．也可供其他专业有关数理逻辑及理论计算机科学方面的师生及科学工作者参考。

《模型论基础》介绍模型论的基础知识。主要内容有：紧致性定理，省略型定理，内播定理，完全理论与模型完全理论，初等键，越积，模型论力迫法，他和模型等。并附有模型论方法对经典数学应用的一些例子。《模型论基础》可供大学数学专业高年级学生及研究生、数学教师及数学工作者阅读。也可供其他专业有关数理逻辑及理论计算机科学方面的师生及科学工作者参考。

《模型论基础》介绍模型论的基础知识。主要内容有：紧致性定理，省略型定理，内播定理，完全理论与模型完全理论，初等键，越积，模型论力迫法，他和模型等。并附有模型论方法对经典数学应用的一些例子。《模型论基础》可供大学数学专业高年级学生及研究生、数学教师及数学工作者阅读。也可供其他专业有关数理逻辑及理论计算机科学方面的师生及科学工作者参考。

《模型论引论》以现代观点介绍模型论，着重强调其在代数学中的应用。前半部分包括模型构造技巧的经典论述，如类型空间，素模型，饱和模型，可数模型，不可辨元等理论及其应用。在书中后半部分，作者首先介绍莫利的范畴性定理，随之讨论定性理论，着重论述Ω-稳定性理论。最后，作者举例阐明了赫鲁索夫斯基如何将这些理论运用于丢番图几何。《模型论引论》显著特色之一是包含一些其他入门型教材所未涉及的重要论题，如Ω-稳定群和强级小集的几何学。

《模型论引论》以现代观点介绍模型论，着重强调其在代数学中的应用。前半部分包括模型构造技巧的经典论述，如类型空间，素模型，饱和模型，可数模型，不可辨元等理论及其应用。在书中后半部分，作者首先介绍莫利的范畴性定理，随之讨论定性理论，着重论述Ω-稳定性理论。最后，作者举例阐明了赫鲁索夫斯基如何将这些理论运用于丢番图几何。《模型论引论》显著特色之一是包含一些其他入门型教材所未涉及的重要论题，如Ω-稳定群和强级小集的几何学。

本书从一阶逻辑的语法和语义开始， 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。

《生态模型基础(第3版)》阐述了生态建模的概念和过程，代表了该领域的最新发展和权威介绍，为读者提供了构建生态模型的工具。在综合阐述生态模型的理论、方法和应用的基础上，更加注重读者独立建模的实践性。为了帮助读者更好地掌握生态建模技术，多数章节末尾设有相应的练习。和前两版相比，本版更注重对建模过程的分步且详细的讨论，阐述了建模过程中涉及的子模型和单元过程，并对不同的模型进行概述、举例、复杂性和应用性的阐述，尤其深入描述了最新的模型技术。

《生态模型基础(第3版)》阐述了生态建模的概念和过程，代表了该领域的最新发展和权威介绍，为读者提供了构建生态模型的工具。在综合阐述生态模型的理论、方法和应用的基础上，更加注重读者独立建模的实践性。为了帮助读者更好地掌握生态建模技术，多数章节末尾设有相应的练习。和前两版相比，本版更注重对建模过程的分步且详细的讨论，阐述了建模过程中涉及的子模型和单元过程，并对不同的模型进行概述、举例、复杂性和应用性的阐述，尤其深入描述了最新的模型技术。

本书应用暖通控制模型基本原理与经典控制理论中串级调节、分程调节、最大值/ 最小值调节、非线性转 化为线性调节原理,结合供热、通风、空调、制冷、锅炉、流体机械理论等, 给出工业及实验室恒温恒湿空调系 统控制模型、实验室通风系统控制模型、冷站系统控制模型、工业锅炉房系统控制模型、换热站系统控制模型, 并给出了部分工程实例。 在附录一提出了变流量下冷水旁通电动调节阀口径的计算公式,在附录二提出了冷 却塔冷却水定流量及变流量下冷却水出水温度动态设定值的计算公式。 本书可供暖通自控专业技术人员及高等院校建筑环境与能源应用工程专业的师生参考。

本书应用暖通控制模型基本原理与经典控制理论中串级调节、分程调节、最大值/ 最小值调节、非线性转 化为线性调节原理,结合供热、通风、空调、制冷、锅炉、流体机械理论等, 给出工业及实验室恒温恒湿空调系 统控制模型、实验室通风系统控制模型、冷站系统控制模型、工业锅炉房系统控制模型、换热站系统控制模型, 并给出了部分工程实例。 在附录一提出了变流量下冷水旁通电动调节阀口径的计算公式,在附录二提出了冷 却塔冷却水定流量及变流量下冷却水出水温度动态设定值的计算公式。 本书可供暖通自控专业技术人员及高等院校建筑环境与能源应用工程专业的师生参考。