本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。

    本书讨论如何撰写美国大学生数学建模竞赛论文。书中包括两部分内容：一部分是地道的英文内容，另一部分为与之对应的中文介绍，这样安排的目的是培养读者用英文写作及思考的习惯，有困难时可以查看中文内容；或者先快速了解中文，再看英文表达。主要内容包括：简介、文章结构、文体、英语的用法、数学符号、数学表达、图形和表格、修改实例、写作训练，最后通过实例讲解如何写出优胜论文的注意事项和技巧等。在附录部分介绍了参赛规则并给出了参赛论文LATEX模板。

本书在深入浅出地介绍LINGO基本用法和LINGO与各种文件和数据库之间的数据传递和处理方法的基础上，分两个层次介绍了LINGO软件及其应用:*个层次以数学规划、图论与网络优化、多目标规划等LINGO软件常用领域为背景，介绍LINGO软件求解优化模型的常规手段和技巧；第二个层次以博弈论、存贮论、排队论、决策分析、评价方法、*小二乘法等领域为背景，介绍LINGO软件在非优化领域的应用，充分展示LINGO软件的优势和应用扩展。在各个领域本书都配有丰富的案例和求解程序，帮助读者深入理解LINGO

    《实定理的复证明》是对Hadamard的格言“实域中两个真理之间的最好和最短路程是通过复域”的延伸思考。面向熟悉研究生一年级水平分析学的受众，此书的目的在于解释复变量是如何对分析的一些领域中的许多类重要结果提供了快速而高效的证明, 这些领域包括诸如近似理论、算子理论、调和分析和复动力系统。

　　本书共分为12章，既详尽介绍了规划论模型、微分方程模型、差分方程模型、组合优化与随机性模型、图论模型、回归分析与时间序列方法、模糊数学建模方法、插值与拟合建模、决策分析方法、现代优化算法等与数学建模相关的理论知识，又结合典型实例全面阐述了数学建模解决实际问题的基本过程，突出了数学建模软件的应用。
　　本书可作为专科生、本科生、研究生的数学建模课程教材，特别适于数学建模竞赛培训使用，也可供从事应用研究的工程技术人员参考。

本书精选20112015年全国大学生数学建模竞赛多篇优秀获奖论文，辅以指导教师的精彩点评。论文未作删节，所有细节和计算过程均予以保留。 本书非常适合初次参赛的高校学生查阅，也可供青年指导教师参考。

本丛书本着弘扬和普及数学文化的宗旨而编辑出版的。为了使包括中学生在内的广大读者都能有所收益，本丛书着力精选那些对人类文明的发展起过重要作用、在深化人类对世界的认识或推动人类对世界的改造方面有某种里程碑意义的主题，由学有专长的学者执笔，抓住主要的线索和本质的内容，由浅入深并简明生动地向读者介绍数学文化的丰富内涵、数学文化史诗中一些重要的篇章以及古今中外一些著名数学家的优秀品质及历史功绩等内容。每个专题篇幅不长，并相对独立。视页码的多少，有的专题单独成册，有些专题则联合成册，以易于阅读、便

　　《数学建模与MATLAB应用》根据学院实战化教学改革需求而编写，适应于本科工程类专业的教学，也可作为研究生的业务学习教材。
　　《数学建模与MATLAB应用》主要包含两部分。第1部分介绍了数学模型的基础理论、理论应用，对于案例用MATLAB软件进行了求解。第二部分主要包含MATLAB入门教程、MATLAB数据绘图、函数插值等算法。教材旨在培养学员应用数学知识解决实际问题的能力，同时使学员了解MATLAB软件，并培养学员用MATLAB程序计算数学模型的能力，努力贯彻实战化教学改革，加强对

     本书是大学本科非数学专业数学建模选修课教材，目的是让学生通过数学建模基础知识的学习，掌握数学建模的基础理论、方法及应用，初步建立起数学建模的思维模式，能够解决一般性的数学建模问题。内容包括数学建模概述，初等数学模型，经典数学模型，数学建模应用软件介绍，数学建模联赛论文格式规范，数学建模例题及解答等。

　　本书共十章，分别对应2010年至2014年全国大学生数学建模竞赛（CUMCM）本科组的10道赛题，每道赛题都选配了当年的优秀获奖论文，并由指导老师进行赛题解析和点评。
　　在每章章末还配有赛题拓展阅读，以达到启发思想、拓展视野的目的。
　　本书适合初次参加数学建模竞赛的学生查阅，也可作为指导学生参加数学建模竞赛的辅导教材。