本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法，第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密，选材适当，体系完整，论述准确，并建立在作者新的研究成果基础之上，对数理逻辑的基本思想和方法做了准确而严谨的论述。

你知道三门问题吗？你听过理发师案例吗？秃子的定义又存在怎样的矛盾？悖论可以出现在任何日常生活中以及人所面对的现实困境中。悖论迫使我们去质问人们对世界的直观理解是否正确，也会迫使我们培养自己的二次直觉。本书对“悖论”这一概念进行了深度解读，不仅列举了很多有趣的悖论谜题，更提出了如何破解这些谜题的方

相识数学逻辑

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

本书从数学建模与仿真的角度对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程序提供给学生，使学生在案例的学习中，在自己动手构建数学模型的同时进行数学实验上机，从而为学生提供数学建模全过程的训练，以便能够达到举一反三、事半功倍的教