悖论是英语词paradox的中译，指的是与公认的信念相左的“道理”，或是让人陷入两难、无所适从的命题。它虽然看似荒谬，违反常理，但却似乎论证缜密、无从反驳。悖论起源很早，如古希腊的“说谎者悖论”、中国的“白马非马”之说。历史上，众多的哲学家、数学家、逻辑学家对悖论进行了奇妙而艰苦的探索，带给他们成功的快乐和失败的苦痛，

关于说谎者及其相关真理论悖论的研究始于古希腊时代，之后相关理论层出不穷，但至今仍无定论，相关研究仍是当今逻辑研究的一大热点。《塔斯基定理与真理论悖论》梳理了塔斯基、克里普克、赫茨伯格、古普塔等人的真理论的基本内容，并通过分析其理论对真谓词的处理概括出真谓词在可能世界上的一种模式，进而给出了塔斯基定理的一系列的推广。主要

汪天飞、邹进、张军主编的《数学建模与数学实验》涵盖了数学建模所涉及的常用方法和内容，如初等数学模型、数学规划模型、线性代数模型、微分方程模型、层次分析法、图论方法和多元回归分析等，并对每种方法的原理、应用和程序实现都做了系统而全面的介绍。程序使用MATLAB、L1NDO、LINGO等软件编写代码，实用性强。 全书共分

《信息科学与技术基础丛书·数理逻辑：基本原理与形式演算（第二版）》的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部分内容包括：版本序列及其极限理论、修正演算系统、过程模式理

抓住儿童的“数学敏感期"，循序渐进，开发数学能力，是儿童早期学习的关键。数学学习不仅会丰富儿童的知识，更会让儿童学会更多的思维方式。

朱道元编著的《研究生数学建模精品案例》精选了全国研究生数学建模竞赛的若干赛题，总结并发展了相应的优秀论文及命题人的综述。全书共分12章，内容包括从研究生数学建模角度看创造性及创造性培养、吸波材料与微波暗室问题的数学建模、基于光的波粒二象性一种猜想的数学仿真、汶川地震中唐家山堰塞湖泄洪问题、特殊工件磨削加工的数学建模、空

本书适用于应用型人才培养中的数学建模教学，分基础篇和提高篇两册。基础篇从数据或故事出发，通过生活中的简单案例讲述什么是数学模型，以及怎样用机理分析方法和初等教学、随时分等工具建立模型，尽量避免繁琐的教学推导，可以作为数学建模课程的教学用书。

《数学建模（第2版）/高等学校教材》根据作者多年的教学经验编写而成，主要内容包括数学规划与组合优化建模、方程建模、随机方法建模、模糊和灰色系统建模，以及常用数学软件与算法等，涵盖了数学建模常用的方法和工具。每部分内容安排上不追求知识的系统性和完整性，更多地以大量建模问题实例和涉及面较广的背景素材引出需要的方法，并在此基

《美国MCM/ICM竞赛指导丛书：美国大学生数学建模竞赛题解析与研究（第4辑）》是以美国大学生数学建模竞赛（MCM/ICM）赛题为主要研究对象，结合竞赛特等奖的优秀论文，对相关的问题做深入细致的解析与研究。《美国MCM/ICM竞赛指导丛书：美国大学生数学建模竞赛题解析与研究（第4辑）》针对2003年及2004年MCM/

《美国MCM/ICM竞赛指导丛书：美国大学生数学建模竞赛题解析与研究（第3辑）》是以美国大学生数学建模竞赛（MCM/ICM）题为主要研究对象，结合竞赛特等奖的论文，对相关的问题进行深入细致的解析与研究。本辑的主要内容包括：棒球“最佳击球点”问题、重新平衡受人类影响的生态系统问题、泛太平洋垃圾带问题、犯罪情报分析的建模问