全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学理论，为近似推理提供了一种可能的框架；系统论述了Pavelka逻辑并扼要论述了抽象逻辑。
本书第一版于1991年在南京大学出版社出版，当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材，并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用，而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进，可以说是成功地实现了当初撰写之目标，因
《数学建模简明教程》是作者根据多年的教学实践，为了满足高等师范院校数学建模课程教学的实际需求编写而成。教材尽可能体现高等师范院校的培养目标、办学特点，注重数学建模思想的叙述，注意与中学教学实际的联系。《数学建模简明教程》通过实例介绍数学建模的主要方法和建模技巧，注重解决实际问题时数学建模的分析过程，着力培养学生的科学思
集合论近年来发展迅速，特别是迫力法、内模型、大基数和描述集合论的发展尤为突出。本书是一本经典图书，内容囊括了集合论的各个分支。全书分为三部分：第一部分综述了集合论中基本的公理、概念和模型，第二部分深入介绍集合论高等问题，第三部分是集合论的专题介绍。本书各章有习题，即是一部教科书，也是从事数理逻辑和集合论等领域研究人员的
本书是教育科学“十五”国家规划课题研究成果，着重训练学生运用数学知识建立数学模型、解决实际问题的技能技巧，本书内容为：数学建模概论、初等模型、微分方程建模、优化模型、线性代数建模、离散模型、对策与决策模型、逻辑建模、随机模型。本书可供培养应用型人才的高等学校理工类学生选用，也可作为数学建模竞赛培训的教材。
本书从数理逻辑模型论的基本知识开始，介绍近年来在稳定性和单纯性理论中出现的新成果、新方法，并提供了相关练习。
本书是数学模型课程的教材。重点阐述：（1）如何从具体事物抽象出数学概念，有了解这种抽象只是一种近似，只反映具体事物的某些特性；（2）如何从复杂的实际问题中寻找最重要的因素；（3）如何既注意思考的逻辑性、严密性，又紧密结合实际情况；（4）如何将所得结果应用与实践、通过实践进一步改进模型。本书采取案例教学的形式，内容有数学
本书从系统模型构建与算法设计相结合的角度，阐述系统建模的基本原理和方法，介绍了主要的应用数学模型及其算法设计的基本方法等。
数理逻辑与集合论是离散数学的主要组成部分，是计算机科学的数学基础。《清华大学计算机系列教材：数理逻辑与集合论（第2版）》共12章，前8章介绍数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论，后4章介绍集合论，包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材：数理逻辑与集合论（
书单推荐
