本书从一阶逻辑的语法和语义开始，介绍了紧致性定理、LwenheimSkolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。

本书是与“爱课程”网上厦门大学谭忠教授主讲的“数学建模MOOC”配套使用的教材，分基础篇和提高篇两册。基础篇从数学产生的源头问题出发引出数学建模的问题与方法，同时配备相当数量的应用案例，主要内容包括数学建模与数学思想、初等数据处理方法、初等分析方法、初等代数与几何方法、差分方程方法、常微分方程方法、偏微分方程方法、变分

本系列丛书以美国大学生数学建模竞赛（MCM/ICM）赛题为主要研究对象，结合竞赛特等奖的优秀论文，对相关的问题进行解析与研究。本辑针对2015年MCM/ICM竞赛的4个题目：埃博拉病毒的扩散、失踪飞机的搜索、人力资源的管理和可持续发展等问题进行了解析与研究。本书由资深建模教师编写，结合当年获奖的优秀论文，介绍和分析了若

《迷人的逻辑题》介绍了125道经典的逻辑趣味题、数学题和脑筋急转弯。很多都是你似曾相识的题目，比如狼、羊、卷心菜过河问题，数独问题，以及微软笔试中的渡河问题。 这些题目本身并不高深。它们像诗一样，优雅而简洁，需要你用严密的逻辑推理以及灵光一现的反常识灵感才能解开。有些的谜题不需要你有任何方面的知识，只需要你有创造力、

本书是逻辑与形而上学教科书系列中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）

《数学建模及其应用》分9章。内容涵盖了数学建模课程中的一些基本方法和基本模型，包括插值与拟合、线性规划、整数规划与非线性规划、常微分方程与差分方程模型、概率统计模型、图论与网络优化、综合评价与决策模型、神经网络与遗传算法等。《数学建模及其应用》中所用例题均配有相应的MATLAB或Lingo源程序。《数学建模及其应用》可

大学数学建模与实验基础

鉴于数学建模理论与方法的推广化应用及促进成果的共享与校企的快速合作，作者通过归纳总结过去十几年教学、科研、竞赛及与企业合作经验写成此书。内容安排如下：数学建模与MATLAB基础知识；递归与迭代方法；线性规划问题；整数规划及其MATLAB求解源代码；图与网络优化；统计学中的参数估计、假设检验、方差分析和相关度分析；数据的

MATLAB数学建模方法与实践(第3版)本书从数学建模的角度介绍了MATLAB的应用，涵盖了绝大部分数学建模问题的MATLAB求解方法。全书共5篇。第一篇是基础篇，介绍基本概念，包括MATLAB在数学建模中的地位、数学模型的分类及各类需要用到的MATLAB技术，以及MATLAB编程入门；第二篇是技术篇，介绍MATLAB

《数学建模实验/阿尔泰数学教程系列，普通高等教育“十三五”规划教材》涵盖了数学建模初步、差分方程、插值与数值积分、常微分方程、线性代数方程组、非线性方程与方程组、无约束优化、约束优化、整数规划、数据统计分析、统计推断、回归分析等基本而重要的建模门类。各章的前部，是数学软件MATLAB/LINDO/LINGO的常用基本命