本书作为十二五普通高等教育本科*规划教材和普通高等教育十一五*规划教材，根据数学建模课程的教学和数学建模竞赛培训活动的实际需要，在第二版的基础上修订而成。第三版仍然保持了第二版内容系统、方法全面、案例新颖和实用性强的特色，突出体现了广、浅、新、用的现代应用特点。本书主要内容包括几何分析、集合分析、逻辑分析、微分方程、差

本书是MATLAB数学建模应用系列书籍之一，以MATLABR2016a软件版本为基础，根据数学建模的需要编写，包含了多种数学建模问题的MATLAB求解方法，是解决数学实验和数学建模的有力工具。 全书共18章，分为前后两个部分，第1~10章属于前部分，第11~18章属于后部分。前部分从MATLAB基础和数学建模基础知识

本书由一道竞赛题引入麦卡锡函数,介绍了麦卡锡函数与阿克曼函数的相关内容与问题，并同时介绍了莫绍揆数理逻辑的相关内容及其历史与进展。

本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致性、同质缩小、型省略等基本定理；有关数的经典

数学实验课的宗旨是：在教师指导下以学生在计算机上动手、动眼、动脑为主，通过用数学软件做实验，学习解决实际问题常用的数学方法，并在此基础上分析、解决经过简化的实际问题，提高学数学与用数学的兴趣、意识和能力。《数学实验及典型案例分析》是根据数学实验课程教学和数学建模竞赛培训的需要，在作者多年从事相关教学和研究工作以及指导数

本书共分七章，重点讲解教学媒体、教学设计、教学技能在数学学科中的应用方法，具体介绍以信息技术为核心的现代教育信息技术与数学课程教学整合的方法和学科教学案例的设计与应用，通过实际的教学案例将理论与实际相结合，对教学改革和现代教育信息技术在数学教学中的应用起到促进和推动作用。

面向计算机科学的数理逻辑 第二版

本书讨论如何撰写美国大学生数学建模竞赛论文。书中包括两部分内容：一部分是地道的英文内容，另一部分为与之对应的中文介绍，这样安排的目的是培养读者用英文写作及思考的习惯，有困难时可以查看中文内容；或者先快速了解中文，再看英文表达。主要内容包括：简介、文章结构、文体、英语的用法、数学符号、数学表达、图形和表格、修改实例、写作

本书在深入浅出地介绍LINGO基本用法和LINGO与各种文件和数据库之间的数据传递和处理方法的基础上，分两个层次介绍了LINGO软件及其应用:*个层次以数学规划、图论与网络优化、多目标规划等LINGO软件常用领域为背景，介绍LINGO软件求解优化模型的常规手段和技巧；第二个层次以博弈论、存贮论、排队论、决策分析、评价方

《实定理的复证明》是对Hadamard的格言“实域中两个真理之间的最好和最短路程是通过复域”的延伸思考。面向熟悉研究生一年级水平分析学的受众，此书的目的在于解释复变量是如何对分析的一些领域中的许多类重要结果提供了快速而高效的证明,这些领域包括诸如近似理论、算子理论、调和分析和复动力系统。