朱道元编著的《研究生数学建模精品案例》精选了全国研究生数学建模竞赛的若干赛题，总结并发展了相应的优秀论文及命题人的综述。全书共分12章，内容包括从研究生数学建模角度看创造性及创造性培养、吸波材料与微波暗室问题的数学建模、基于光的波粒二象性一种猜想的数学仿真、汶川地震中唐家山堰塞湖泄洪问题、特殊工件磨削加工的数学建模、空

《信息科学与技术基础丛书·数理逻辑：基本原理与形式演算（第二版）》的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部分内容包括：版本序列及其极限理论、修正演算系统、过程模式理

本书系统地介绍了数学建模的基本方法，并通过各类典型实例展示了数学建模解决实际问题的基本过程。主要内容包括：数学建模概述、初等模型、微分方程模型、概率与随机模型、统计分析模型、数学规划模型、图与网络模型、其他模型。方法讲解按照由浅入深、由简到繁的原则，适合大学本科低年级在数学建模课程中使用；问题介绍按照由熟悉到陌生、由基

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

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

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

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

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

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

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