本书是国内迄今最全面系统地介绍悖论问题的著作，作者将从古至今五花八门的悖论分成十二类，详细介绍每一类悖论的历史原型、各种变体、逻辑学家的解决方案、与日常生活的关系等等。作为国内著名的逻辑学家，作者展示了多年来在这一领域探索的成果，对于国内外相关领域的逻辑学的研究都将有很大的推动。新版重新撰写了第十二章。

作者根据多年的数学建模教学与竞赛辅导的经验编写本书，内容包含了初等模型、规划模型、随机模型、统计模型、图论、模糊数学、灰色预测以及Matlab的使用简介等，同时引入近年的竞赛实例进行案例分析，从而增强模型的实用性。

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

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

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

从华南农业大学2009年到2014年，参加全国大学生数学建模竞赛中精选出的10篇获奖的论文加工整理而成的，所选择的论文都是最有代表性的，论文几乎完整地保持了参赛论文的原貌。同时每篇论文后给出了比较细致的点评。书后附录中提供了参加数学建模竞赛部分部分同学的感受和体会赛题。

《数学建模》以用数学解决实际问题所需要的知识和技能为顺序。介绍了数学建模的基本概念、方法与步骤。以及常用的计算方法、数值软件。分专题介绍几个主要数学分支的相关知识及其在具体问题中的应用。《数学建模》共七章。内容包括数学建模所需要的基本知识：数学建模概念、数值软件、常用计算方法；进行数学基本应用的初等模型、常微分方程模型

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

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

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