数学模型是架于数学理论和实际问题之间的桥梁.数学建模是应用数学解决实际问题的重要手段和途径·本书是作为数学理论教学的一个补充,通过数学模型和数学建模有关问题的论述和模型实例的介绍,使读者应用数学解决实际问题的能力有所提高.全书分三篇:第一篇阐述了数学模型和数学建模的有关问题和常用的数学模型及其组建的方法,

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

《美国大学生数学建模竞赛题解析与研究》是以美国大学生数学建模竞赛（MCM／ICM）赛题为主要研究对象，结合竞赛特等奖的优秀论文，对相关的问题做深入细致的解析与研究。本辑针对2013年MCM／ICM竞赛的3个题目：最佳巧克力蛋糕烤盘问题、淡水资源的调配问题以及地球生态环境的健康临界点问题等进行了解析与研究。由于参赛论文需

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

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

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

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

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

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

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