《符号逻辑讲义》是当代逻辑入门课程的教材，内容大约是.阶逻辑的前部，可作为教科书或参考书，用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻辑的各科学生，也可以把它当作课外读物。
　　无论在国内还是国外，可用于一阶逻辑课的教材不少，导论性的教材更多；但两类教材的脱节是个老问题。国外一些教材在导论性内容后增加些一阶逻辑的内容（如完全性定理），其中有的已被国内学者介绍或模仿。但这类教材通常仍只能用于导论课。编写《符号逻辑讲义》的目的之一，就是想把脱节的教材连起来

　　《普通高等教育十一五国家级规划教材·数学建模》是普通高等教育“十一五”国家级规划教材，是在第一版的基础上修订而成的。主要内容包括绪论，数学与现实世界，建模方法论，量纲分析法，机理分析建模法，基于数据的建模方法，模拟模型，模型范例，科技论文与学术讲演，还在附录中补充了一些应用范例。
　　《数学建模》是以介绍数学建模的一般方法为主线，建模方法介绍与案例分析并重，简单模型与综合模型搭配合理、取材广泛，可读性强，便于自学和建模实践，适合不同数学基础的学生。
　　《数学建模》适合用作高等学

本书第一版于1991年在南京大学出版社出版，当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材，并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用，而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进，可以说是成功地实现了当初撰写之目标，因此在一些院校一直沿用至今。2008年大连理工大学出版社计划出版优秀理工科本科、研究生系列教材，经过仔细分析、评估后，编著了本书。本书可作高等院校教材，也供自学使用。

本书第一版于1991年在南京大学出版社出版，当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材，并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用，而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进，可以说是成功地实现了当初撰写之目标，因此在一些院校一直沿用至今。2008年大连理工大学出版社计划出版优秀理工科本科、研究生系列教材，经过仔细分析、评估后，编著了本书。本书可作高等院校教材，也供自学使用。

　　《数学建模简明教程》是作者根据多年的教学实践，为了满足高等师范院校数学建模课程教学的实际需求编写而成。教材尽可能体现高等师范院校的培养目标、办学特点，注重数学建模思想的叙述，注意与中学教学实际的联系。《数学建模简明教程》通过实例介绍数学建模的主要方法和建模技巧，注重解决实际问题时数学建模的分析过程，着力培养学生的科学思维方式和创新意识，内容精炼，论述严谨，实例丰富，条理清晰，通俗易懂，习题配套，便于施教。
　　《数学建模简明教程》的主要内容有：数学建模概述，初等模型与常用的建模方法

本书是教育科学“十五”国家规划课题研究成果，着重训练学生运用数学知识建立数学模型、解决实际问题的技能技巧，本书内容为：数学建模概论、初等模型、微分方程建模、优化模型、线性代数建模、离散模型、对策与决策模型、逻辑建模、随机模型。�ケ臼榭晒┡嘌�应用型人才的高等学校理工类学生选用，也可作为数学建模竞赛培训的教材。

本书是数学模型课程的教材。重点阐述：（1）如何从具体事物抽象出数学概念，有了解这种抽象只是一种近似，只反映具体事物的某些特性；（2）如何从复杂的实际问题中寻找最重要的因素；（3）如何既注意思考的逻辑性、严密性，又紧密结合实际情况；（4）如何将所得结果应用与实践、通过实践进一步改进模型。本书采取案例教学的形式，内容有数学模型导言、初等数学模型、优化模型、微分方程模型、线性规划模型、网络规划、动态规划、决策与对策、随机模型等，且有最常用的数学工具软件介绍和实际问题的建模实例。�ケ臼槭视酶鞔笞ā⒈究圃�

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

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