本书按照工科学生数学建模能力培养要求编写，以巩固学生数学基础知识、培养学生专业复杂问题分析能力、增强学生计算软件应用能力，以及训练学生的实践能力和创新能力为目的，通过基础知识讲解、基本技能训练和应用创新实践等环节深入浅出地介绍了专业学科领域里的数学建模基础知识、相关计算软件的使用方法、复杂问题的研究方法和科技论文写作等

本书介绍了验证、确认和不确定度量化的定义、研究范畴和主要方法途径。并对不确定度和误差中的重要内容进行了具体讨论，归纳了误差和不确定度的来源。从代码验证和解验证以及近似计算模型的代理模型方法，讨论了输入不确定性通过计算模型的传播问题，以及相应敏感性分析内容。从而进一步对模型确认和预测相关的一系列问题展开介绍。

本书根据课程教学目标和知识点，以“知识主导、能力驱动”为中心编写。书中以数学建模实际案例为切入点，通过对一个个生动案例进行分析、讨论、建模、求解的一整套过程，帮助学生掌握一大类问题的求解方法，达到“以点扩面”的效果。每个案例后均配备有思考题，让学生能够做到学有所思、学有所获。书中还注重挖掘课程知识点与社会主义核心价值观

《MATLAB数学建模方法与应用》主要介绍常用数学建模方法及其MATLAB实现与应用，内容包括MATLAB数组运算、程序设计、绘图、数据管理、符号计算、数值计算、多项式与插值拟合、常用统计及优化建模方法与MATLAB求解、人工神经网络方法、排队论方法、以层次分析法和模糊评价法为代表的多指标综合评价方法、MATLAB图像

逻辑迷宫

本书采用案例与算法程序相结合的方法，逐步引导读者深入挖掘实际问题背后的数学问题及求解方法。书中案例丰富，分析计算中巧妙结合MATLAB等软件工具，采用不太算法进行模型求解，有助于提高学生的问题求解能力。 本书可作为高等院校在校研究生、本科生及专科生数学建模课程的参考书，也可以作为全国大学生数学建模竞赛、美国大学生数学建

数理逻辑系统是形式语言、形式语义和证明的三位一体。《数理逻辑引论：计算机科学与系统的天然基础》讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、

GMAT批判性推理题是以非形式逻辑作为依托，希望考生正确识别一个论证的结构，继而准确找到当前论证结构的评估方式，*终选出正确的答案。本书正是以批判性推理题所考查的非形式逻辑为基础编写的。全书共六章，内容涉及批判性推理的基础知识，演绎推理类、归纳推理类、特殊问法类常见考题的解法，解题步骤详述，以及*后的综合练习。书中利用

本书为《Python数学建模算法与应用》的配套书，通过物理、化学、生物、医学、交通、人口、生态、经济管理和工程技术中众多数学模型的实例，阐明建立各种现实问题数学模型的主要方法和基本规律。书中每章内容后面还设置了“习题”和“实践与思考”，前者是帮助读者加深对本章内容理解的练习；后者实际上是为建立与本章内容有关的实际问题的

本书通过算法程序和实例分析介绍了常用的一些数学建模方法,包括基本的数学实验、初等数学模型、插值和拟合、微分方程、层次分析法、数学规划、模糊数学模型、图论、多元统计模型。本书注重数学建模的基本方法和实用性,将数学模型和实例进行有机结合,易于理解,便于自学,同时本书也重视数学软件在实际问题中的应用,介绍了MATLAB以及L