数学建模实验
《数理逻辑》介绍数理逻辑的基本内容，如经典一阶逻辑（包括命题逻辑和谓词逻辑）的句法、语义、逻辑演算（形式证明）以及刻画句法和语义之间关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二不完全性定理以及所需的递归论内容，等等。这些内容为我们学习20世纪伟大的数学发现——哥德尔定理提供了基础，也为进一步学习和研究
这次根据“数学建模”课程的教学和数学建模竞赛培训活动的实际需要，在一版的基础上做了修订。第二版仍然保持了一版内容系统、方法全面、案例新颖和实用性强的特色，突出体现了“广、浅、新、用”的现代应用科学教育的特点。《数学建模方法及其应用（第2版）》主要内容包括初等分析、微分方程、差分方程、插值与拟合、层次分析、概率统计、回归
本书介绍了数学建模的常用方法和相关数学知识，并且简单介绍了三个数学软件的使用，四个附录则给出了概率论基础知识、常用Mathematica软件的基本命令和F-检验、相关系数的临界值表。
该教程共包含10章内容：前8章属于数学建模部分，第9章主要叙述如何写好一篇数学建模竞赛论文，第10章介绍了数学建模竞赛中常用的数学软件以及一些编程技巧。数学建模部分包含了数学建模竞赛常用的数学知识点，主要有规划理论及模型、图论模型、常微分方程、线性回归分析，决策分析、排队论、多元统计分析、算法基础等内容。该教程适合各类
《普通高等教育十一五国家级规划教材·数学建模》是普通高等教育“十一五”国家级规划教材，是在第一版的基础上修订而成的。主要内容包括绪论，数学与现实世界，建模方法论，量纲分析法，机理分析建模法，基于数据的建模方法，模拟模型，模型范例，科技论文与学术讲演，还在附录中补充了一些应用范例。《数学建模》是以介绍数学建模的一般方法为
本书从若干智力游戏、历史趣题和一些看似简单的实用问题人手，引进数学建模的基本思想和方法。在简要介绍了规划模型、经济数学模型、生物数学模型等基础数学模型之后，对全国大学生数学建模竞赛的若干典型赛题进行了探讨。
全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学理论，为近似推理提供了一种可能的框架；系统论述了Pavelka逻辑并扼要论述了抽象逻辑。
本书第一版于1991年在南京大学出版社出版，当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材，并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用，而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进，可以说是成功地实现了当初撰写之目标，因
书单推荐
