《北京工业大学研究生创新教育系列教材：数学建模基础（第2版）》深入浅出地介绍了与数学建模基础有关的内容，其重点放在微分方程模型、运筹学模型和数理统计模型方面，着重讲述建模的基本思想和模型求解的基本方法，以及运用数学软件求解数学问题。其内容包括数学建模入门、微分方程模型、线性规划模型、动态规划模型、最优化模型、图论与网络

《普通高等教育“十二五”规划教材：数学建模》结合黑龙江科技学院人才培养和专业课程建设的总体要求，既注重学生基本能力的训练，同时又结合学生的专业实际，介绍体现专业特点的数学模型供不同专业进行选择、介绍体现素质能力的综合模型，注重培养学生的科技写作和讲演能力。教材结构安排如下：第一章数学模型概论（1学时）；第二章初等模型（

《数学建模及其实验》主要是根据“数学建模”课程的教学和“大学生数学建模竞赛”培训活动的实际需要，以及编者多年从事教学和培训工作的实践经验与体会编写而成的。考虑到课堂教学的特点和建模实验在整个建模过程中的重要性，《数学建模及其实验》在内容上体现了少而精和建模实验的实践性，目的是通过完整的建模过程训练，提高学生的建模能力和

《数学建模》是为高等师范院校的数学建模课程编写的教材，体现了高等师范院校的培养目标和办学特点。内容包括用MATLAB求解数学问题、数学建模概述、差分方程模型、常微分方程模型、数值逼近模型、统计回归模型和最优化模型。《数学建模》注重数学建模的基础知识和基本技能，并通过实例进行案例教学，既包括一些能够与中学数学相衔接的经典

全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学理论，为近似推理提供了一种可能的框架；系统论述了Pavelka逻辑并扼要论述了抽象逻辑。

本书在第一版的基础上进行修订再版，全书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的最新理论等4部分，同时，在第一版的基础上对“计算逻辑学”，关于一阶系统完备性的证明等诸多内容做了补充或改写。

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

与通常的公理集合论著作不同，本书在引入形式系统之前首先直观而又严谨地阐述了类、集合、序数,基数以及势的概念，为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统，对直观集合论中的概念和公理进行了形式化处理，并在此基础上建立了若干逻辑定理.以后各章介绍了公理集合论中的主要方

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

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