本书是逻辑与形而上学教科书系列中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）
《迷人的逻辑题》介绍了125道经典的逻辑趣味题、数学题和脑筋急转弯。很多都是你似曾相识的题目，比如狼、羊、卷心菜过河问题，数独问题，以及微软笔试中的渡河问题。 这些题目本身并不高深。它们像诗一样，优雅而简洁，需要你用严密的逻辑推理以及灵光一现的反常识灵感才能解开。有些的谜题不需要你有任何方面的知识，只需要你有创造力、
大学数学建模与实验基础
《数学建模及其应用》分9章。内容涵盖了数学建模课程中的一些基本方法和基本模型，包括插值与拟合、线性规划、整数规划与非线性规划、常微分方程与差分方程模型、概率统计模型、图论与网络优化、综合评价与决策模型、神经网络与遗传算法等。《数学建模及其应用》中所用例题均配有相应的MATLAB或Lingo源程序。《数学建模及其应用》可
《LINGO软件及应用习题解答》是国防工业大学出版社出版的《LINGO软件及应用》一书的配套书籍。《LINGO软件及应用习题解答》给出了《LINGO软件及应用》中全部习题的解答过程和配套程序设计。尤其是第12章，针对数学建模竞赛10道竞赛题目，参照公开出版的优秀论文给出的解答思路，给出了包括问题分析，模型假设，模型建立
《数学建模实验/阿尔泰数学教程系列，普通高等教育“十三五”规划教材》涵盖了数学建模初步、差分方程、插值与数值积分、常微分方程、线性代数方程组、非线性方程与方程组、无约束优化、约束优化、整数规划、数据统计分析、统计推断、回归分析等基本而重要的建模门类。各章的前部，是数学软件MATLAB/LINDO/LINGO的常用基本命
MATLAB数学建模方法与实践(第3版)本书从数学建模的角度介绍了MATLAB的应用，涵盖了绝大部分数学建模问题的MATLAB求解方法。全书共5篇。第一篇是基础篇，介绍基本概念，包括MATLAB在数学建模中的地位、数学模型的分类及各类需要用到的MATLAB技术，以及MATLAB编程入门；第二篇是技术篇，介绍MATLAB
鉴于数学建模理论与方法的推广化应用及促进成果的共享与校企的快速合作，作者通过归纳总结过去十几年教学、科研、竞赛及与企业合作经验写成此书。内容安排如下：数学建模与MATLAB基础知识；递归与迭代方法；线性规划问题；整数规划及其MATLAB求解源代码；图与网络优化；统计学中的参数估计、假设检验、方差分析和相关度分析；数据的
本书第一版至第四版分别出版于1987年、1993年、2003年和2011年。基于编者长期从事数学建模和数学实验教学、数学建模竞赛组织和辅导，始终关注国内外数学建模教学案例收集与研究的经验，第五版在保持前四版基本结构和风格的基础上，进行增删与修订，新增和改编的案例生动新颖、内涵丰富，接近案例总数的一半。全书纸质内容
《应用型人才培养模式下数学建模活动的理论与实践研究》是在作者多年从事数学建模教学和科研工作的基础上写成的，着重介绍应用型人才培养模式下的数学建模活动，其中着重介绍数学建模所蕴含的思想及解决问题的基本方法，突出科学的思维方式，加强应用。同时，为提高学生应用数学知识解决实际问题的能力，书中列举了数学建模在解决实际问题中的典
书单推荐 更多 新书推荐 更多
