本系列丛书是以美国大学生数学建模竞赛（MCM/ICM）赛题为主要研究对象，结合竞赛特等奖的优秀论文，对相关的问题做深入细致的解析与研究。本辑针对2011年及2012年MCM/ICM竞赛的6个题目：单板滑雪场设计问题、中继器协调问题、电动汽车的未来、一棵树的叶子、大长河露营问题以及抓捕犯罪模型等进行了解析与研究。

本书给出了几个著名悖论特别是说谎者悖论的解答。作为预备，讨论了悖论的由来和机理，特别是悖论与反证法的关系。

本书共6章，内容涉及数学建模概论、MATLAB及其应用、微分方程及差分方程理论、规划论模型、回归分析方法、预测与决策分析等建模常用的方法，并在第一章数学建模概论中介绍了建模竞赛论文的写作方法。第二至第六章每章先结合实例讲解建模方法的理论，之后结合软件介绍模型的求解方法，以避免在解决问题中做烦琐的数学推导和计算。

数学建模是一种数学的思考方法，也是用数学语言描述实际现象的过程。它是运用数学的语言和方法，通过抽象，简化建立能近似刻画并解决实际问题的一种强有力的数学手段。《数学建模/21世纪应用型本科院校规划教材》是作者范新华、陈荣军根据多年数学建模教学与数学建模竞赛辅导工作的经验编写而成，所选案例具有代表性，注重从不同侧面反映数学

MCM/ICM数学建模竞赛 第3卷

本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有指导作用。本课程为计算机科学的基础，对培养学生的素养以及提高解决问题的能力有重要的意义

本书主要内容是根据其后期的新的哲学理解对当时流行的数学基础研究中的形式主义思潮、逻辑主义思潮、直觉主义思潮进行分析和批评。

本书共有十八章,内容包括:自然数串、数的定义、有穷与数学归纳法、序的定义、关系的种类、关系的相似等。

本书在*版的基础上进行修订再版，全书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的*理论等4部分。同时，在*版的基础上对“计量逻辑学”，关于一阶系统K完备性的证明等诸多内容做了补充或改写。 本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。

数学建模优秀论文精选