导引
实用物态方程理论导引
《实用物态方程理论导引》,作者:徐锡申，张万箱著 出版社:科学出版社 ISBN:130313229。本书简要地叙述了物态方程理论．主要内容有：电离平衡方程；Thomas-Fermi统计理论（包括各种修正）；获得固体和液体物态方程的方法，着重论述了半经验理论；以及计算物态方程数据的具体步骤．书中还具体介绍了流体力学程序计算中使用的物态方程形式以及爆轰产物的物态方程．书末的附录中给
ADA导引 : 程序设计语言ADA参考手册 (美国国家标准/军用标准)
《ADA导引 : 程序设计语言ADA参考手册 (美国国家标准/军用标准)》,作者:H.莱德加德 出版社:科学出版社 ISBN:15031690。程序设计语言Ada是在美国国防部推动和领导下研制的大型算法语言，将被用于取代与美国军方有关的领域现正使用的一切其它高级程序设计语言． 本书既包括对Ada特点的扼要介绍（导引部分），又包括对Ada的详细定义（文本部分）．对Ada细节不感兴趣的读者可以从
集合论导引（第三卷）高阶无穷
《集合论导引（第三卷）高阶无穷》,作者:冯琦 著 出版社:科学出版社 ISBN:9787030636232。本卷是在前两卷的基础上对集合论保证无穷集合存在的无穷公理的层次分析。这种分析既包含组合分析，也包含逻辑分析；既包含内模型分析，也包含外模型分析；归根结底是揭示各种高阶无穷公理对整个集合论论域的影响，尤其是对实数集合的影响。因此，第三卷的第1章侧重于大基数的组合分析、逻辑分析以及内
集合论导引（第二卷）集论模型
《集合论导引（第二卷）集论模型》,作者:冯琦 著 出版社:科学出版社 ISBN:9787030636225。本卷是集合论的模型分析部分。在第一卷的基础上，本卷的主要任务是将逻辑植入集合论之中，并以此为基础实现三大目标：第一大目标是将同质子模型分析引入集合论，这是一种不同于组合分析的对无穷集合展开分析的基本方法；第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域，从
集合论导引（第一卷）基本理论
《集合论导引（第一卷）基本理论》,作者:冯琦 著 出版社:科学出版社 ISBN:9787030636218。本卷是这本《集合论导引》的开卷，分为三章，是后续两卷的基础。第1章主要是引进集合论的基本公理、基本概念、基本方法，并给出典型的可数集合的例子，包括自然数集合、整数集合、有理数集合以及彻底有限集合等。第2章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第3章专门
系统科学导引（第II卷：系统科学的数学物理基础）
《系统科学导引（第II卷：系统科学的数学物理基础）》,作者:吴金闪著 出版社:科学出版社 ISBN:9787030607348。本系列共3卷。本卷一方面介绍一些数学和物理的概念和分析技术， 从而为把系统科学的思维方式通过具体问题的研究发展成分析方法做好准 备；另一方面把物理学当作给世界建立数学模型的例子来体会什么是科学。同时，更加重要的是，对数学、物理的概念和分析技术背后的思维方式以及这些概念和技
