面向计算机科学的数理逻辑 第二版

本书讨论如何撰写美国大学生数学建模竞赛论文。书中包括两部分内容：一部分是地道的英文内容，另一部分为与之对应的中文介绍，这样安排的目的是培养读者用英文写作及思考的习惯，有困难时可以查看中文内容；或者先快速了解中文，再看英文表达。主要内容包括：简介、文章结构、文体、英语的用法、数学符号、数学表达、图形和表格、修改实例、写作

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

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

本书汇集GMAT官方解析2015、2016、2017版的所有阅读题材，从具体内容来讲1.以Prep为蓝本，帮助考生了解“标准化考试”；2.对开排版，适应机考；3.在语境中背单词，扫除理解障碍；4.精选长难句，提升阅读理解能力；5.套路题型，快速有效；6.框架结构，一览重点；7.结合技巧，解析题目；8.总结规律，举一反三

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

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

本书共分为12章，既详尽介绍了规划论模型、微分方程模型、差分方程模型、组合优化与随机性模型、图论模型、回归分析与时间序列方法、模糊数学建模方法、插值与拟合建模、决策分析方法、现代优化算法等与数学建模相关的理论知识，又结合典型实例全面阐述了数学建模解决实际问题的基本过程，突出了数学建模软件的应用。本书可作为专科生、本科生

《陇上学人文存（陶景侃卷）》是一部论文集。陶景侃，1978年12月到兰州大学哲学系工作。1993年6月任教授，1993年10月获国务院特殊津贴。曾任中国逻辑学会理事，甘肃省逻辑学会会长等。独立完成国家社会科学基金项目1项。出版著作有《逻辑学问答》、《大学逻辑教程》、《法律规范逻辑》，发表相关论文31篇。《陇上学人文存（

本丛书本着弘扬和普及数学文化的宗旨而编辑出版的。为了使包括中学生在内的广大读者都能有所收益，本丛书着力精选那些对人类文明的发展起过重要作用、在深化人类对世界的认识或推动人类对世界的改造方面有某种里程碑意义的主题，由学有专长的学者执笔，抓住主要的线索和本质的内容，由浅入深并简明生动地向读者介绍数学文化的丰富内涵、数学文化