计算机数值方法（第三版）
《北京工业大学研究生创新教育系列教材：数学建模基础（第2版）》深入浅出地介绍了与数学建模基础有关的内容，其重点放在微分方程模型、运筹学模型和数理统计模型方面，着重讲述建模的基本思想和模型求解的基本方法，以及运用数学软件求解数学问题。其内容包括数学建模入门、微分方程模型、线性规划模型、动态规划模型、最优化模型、图论与网络
《集合论含有原子的自然模型和布尔值模型》在含有原子的公理集合论系统的基础上，力图建立两大类模型——自然模型和布尔值模型。不仅从理论上丰富了数理逻辑的重要分支——公理集合论的刻画集论模型的理论，为现代逻辑的研究提供证明根据，而且也促进了现代数理逻辑与哲学逻辑之间的相互渗透、相互融合，从而为描述和模拟人类思维提供指导，为哲
《普通高等教育“十二五”规划教材：数学建模》结合黑龙江科技学院人才培养和专业课程建设的总体要求，既注重学生基本能力的训练，同时又结合学生的专业实际，介绍体现专业特点的数学模型供不同专业进行选择、介绍体现素质能力的综合模型，注重培养学生的科技写作和讲演能力。教材结构安排如下：第一章数学模型概论（1学时）；第二章初等模型（
《数学建模及其实验》主要是根据“数学建模”课程的教学和“大学生数学建模竞赛”培训活动的实际需要，以及编者多年从事教学和培训工作的实践经验与体会编写而成的。考虑到课堂教学的特点和建模实验在整个建模过程中的重要性，《数学建模及其实验》在内容上体现了少而精和建模实验的实践性，目的是通过完整的建模过程训练，提高学生的建模能力和
朱尧辰的这本《点集偏差引论》是关于点集偏差理论的导引，包括点集偏差的基本概念和主要性质、低偏差点集的构造、偏差上界和下界估计的常用方法、点集偏差的精确计算公式、点集离差的基本结果，以及点集偏差和离差在拟MonteCarlo方法中的一些应用，如具有数论网点的多维求积公式的构造、多维数值积分的格法则、函数最大值近似计算的数
《数理逻辑实验教程》的目的是为了帮助更多的学生在学习数理逻辑的课程中，利用逻辑软件，更好地理解数理逻辑的思想、更快地掌握数理逻辑的方法。
《数理逻辑（第2版）》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《数理逻辑（第2版）》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing
数学建模实验
《数理逻辑》介绍数理逻辑的基本内容，如经典一阶逻辑（包括命题逻辑和谓词逻辑）的句法、语义、逻辑演算（形式证明）以及刻画句法和语义之间关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二不完全性定理以及所需的递归论内容，等等。这些内容为我们学习20世纪伟大的数学发现——哥德尔定理提供了基础，也为进一步学习和研究
书单推荐 更多 新书推荐 更多
