面向后件集的模糊推理机制是在模糊集合相互关联的环境下进行的，可以捕获到规则中更多的模糊信息，克服了传统模糊推理会丢失前件集与后件集相关性信息的缺陷，推理结果更加合理。本书详细介绍了面向后件集的模糊推理机制及其应用，包括在Type-1模糊逻辑系统、区间型Type-2模糊逻辑系统和一般型Type-2模糊逻辑系统中的应用，以

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

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

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

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

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

大学数学建模与实验基础

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

《LINGO软件及应用习题解答》是国防工业大学出版社出版的《LINGO软件及应用》一书的配套书籍。《LINGO软件及应用习题解答》给出了《LINGO软件及应用》中全部习题的解答过程和配套程序设计。尤其是第12章，针对数学建模竞赛10道竞赛题目，参照公开出版的优秀论文给出的解答思路，给出了包括问题分析，模型假设，模型建立

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