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

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

《数学建模及其实验》主要是根据“数学建模”课程的教学和“大学生数学建模竞赛”培训活动的实际需要，以及编者多年从事教学和培训工作的实践经验与体会编写而成的。考虑到课堂教学的特点和建模实验在整个建模过程中的重要性，《数学建模及其实验》在内容上体现了少而精和建模实验的实践性，目的是通过完整的建模过程训练，提高学生的建模能力和动手能力。《数学建模及其实验》包括引言、MATLAB软件使用入门、LINGO软件使用入门、代数几何模型、规划模型、微分方程模型、差分方程模型、图论模型、概率统计模型、灰色系统模型等

    《数理逻辑实验教程》的目的是为了帮助更多的学生在学习数理逻辑的课程中，利用逻辑软件，更好地理解数理逻辑的思想、更快地掌握数理逻辑的方法。

    《数理逻辑（第2版）》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。
    《数理逻辑（第2版）》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定

　　《数理逻辑》介绍数理逻辑的基本内容，如经典一阶逻辑（包括命题逻辑和谓词逻辑）的句法、语义、逻辑演算（形式证明）以及刻画句法和语义之间关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二不完全性定理以及所需的递归论内容，等等。这些内容为我们学习20世纪伟大的数学发现——哥德尔定理提供了基础，也为进一步学习和研究数理逻辑的专门知识和问题提供了基础。

　　这次根据“数学建模”课程的教学和数学建模竞赛培训活动的实际需要，在一版的基础上做了修订。第二版仍然保持了一版内容系统、方法全面、案例新颖和实用性强的特色，突出体现了“广、浅、新、用”的现代应用科学教育的特点。《数学建模方法及其应用（第2版）》主要内容包括初等分析、微分方程、差分方程、插值与拟合、层次分析、概率统计、回归分析、综合评价、线性规划、整数规划、非线性规划、动态规划、排队论、对策论、随机决策分析、多目标决策分析、图论、模糊数学和灰色系统分析等人民代表大会类数学建模方法，每一种方法都有

该教程共包含10章内容：前8章属于数学建模部分，第9章主要叙述如何写好一篇数学建模竞赛论文，第10章介绍了数学建模竞赛中常用的数学软件以及一些编程技巧。数学建模部分包含了数学建模竞赛常用的数学知识点，主要有规划理论及模型、图论模型、常微分方程、线性回归分析，决策分析、排队论、多元统计分析、算法基础等内容。 该教程适合各类专业的大学生、研究生以及各类高职高专学生使用，也适合大学教师进行赛前培训，同时也适合数学建模爱好者自学。