数理逻辑是离散数学的重要组成部分之一，是计算机科学的数学基础。《数理逻辑引论（修订版）》内容主要侧重于逻辑演算，即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其他分支的共同基础。全书共分5章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理

《Mathematica基础及其在数学建模中的应用（第2版）》是作者结合多年的Mathematica与数学建模课程教学实践编写的，其内容包括Mathematica软件介绍、Mathematica应用基础、Mathematica在高等数学中的应用、Mathematica在线性代数中的应用、Mathematica在概率统计

导语_点评_推荐词

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

本书是作者在长期主讲山东大学“数学建模”通识教育核心课程的基础上，参考国内外优秀数学建模教学和培训教材，结合作者多年的教学实践经验，经过反复筛选和精心组织编写的通识教育教材。全书编写力求简洁、贴近实际。内容设计以问题驱动为先导，着重介绍数学建模的基本概念，日常工作、生活和科学研究中最常用的数学建模方法，如差分、微分、插

MCM/ICM数学建模竞赛（第2卷）（英文版）Mathematical Modeling for the MCM/ICM Contests Volume 2

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

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

相识数学逻辑

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