《数学与猜想第二卷合情推理模式（数学名著译丛）》是《数学与猜想》的第二卷。这一卷系统地论述了合情推理的模式，评述它们彼此之间以及与概率计算的关系，并扼要地讨论了它们与数学发现及教学的关系。《数学与猜想第二卷合情推理模式（数学名著译丛）》将数学中的推理模式与生活中的实例相联系，论述深入浅出，读来令人兴味盎然。全书有大量习

本书从数学建模与仿真的角度对MATLAB进行详细介绍和讲解。全书共2篇，即基础篇和应用篇，涵盖绝大部分数学建模问题的MATLAB求解方法。前10章为基础篇，讲解有关MATLAB的基础知识，包括MATLAB的入门、数值运算、符号运算和图形功能、M文件编程、Simulink仿真模型和科学计算等内容，在此基础上介绍应用数学领

本书是著名数学家G.波利亚撰写的一部经典名著，书中讨论的是自然科学、特别是数学领域中与严密的论证推理完全不同的一种推理方法——合情推理（即猜想）。本书通过许多古代著名的猜想，讨论了论证方法，阐述了作者的观点：不但要学习论证推理，也要学习合情推理，以丰富人们的科学思想，提高辩证思维能力，本书的例子不仅涉及数学各学科，也涉

《LINGO和Excel在数学建模中的应用》深入浅出地介绍了LINGO的基础知识、用LINGO语言描述现实问题的方法和用Excel处理数据的方法，重点是这两种软件在解决各种优化问题以及在数学建模中的应用，通过丰富的实例介绍了把实际问题转化为数学模型的方法，以及综合运用LINGO等软件来求解模型的手段和技巧。《LINGO

宣明主编的《数学建模与数学实验（第2版）》是高职院校数学建模与数学实验课程建设与教学实践成果的第二版。全书共三篇。**篇数学建模实践：第1章，数学建模与数学实验简介；第2章，数学建模实践。第二篇数学实验：第3章，MATLAB数学实验；第4章，LINGO数学实验；第5章，EXCEL数学实验。第三篇数学建模培训：第6章，微

大家在中小学课程里都会碰到某种程度的数学证明，有些人甚至把做数学与进行数学证明等同起来。 但究竟数学证明这种功夫在数学活动中有何作用？它是否真正确立了无可置疑的结论？它是事后的装扮功夫抑或它能导致前所未知的新发现？这种独特的思考方式是怎样发展起来的？《数学证明（珍藏版）》从数学史的角度出发，试以大量实

储昌木、沈长春编*的《数学建模及其应用》既是我们多年教学经验的总结，也是我们心血的结晶。本教材的特点是尽量为学生提供常用的数学方法，并将相应的Matlab和Lingo程序提供给学生，使学生在案例的学习中，在自己动手构建数学模型的同时进行数学实验上机，从而为学生提供数学建模全过程的训练，以便能够达到举一反三、事半功倍的教

UMAP数学建模案例精选（二）

本书是清华大学计算机系列教材《数理逻辑与集合论》(第二版)一书的配套教材。全书分为两大部分：第l部分是主教材《数理逻辑与集合论》(第二版)各章的内容精要与学习指导，包括主教材中的基本概念、基本公式、定义、定理及完成习题所涉及的内容，相当于主教材内容的精华与复习提纲。第2部分是主教材相应章节的习题解答，附有主教材全部习题

本书是国防工业出版社出版的《数学建模算法与应用（第2版）》的配套书籍。本书给出了《数学建模算法与应用（第2版）》中全部习题的解答及程序设计，另外针对选修课的教学内容，又给出一些补充习题及解答。 本书的程序来自于教学实践，有许多经验心得体现在编程的技巧中。这些技巧不仅实用，也很有特色。书中提供了全部习题的程序，可以将这