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

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

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

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

李大明为上海交通大学数学学院副教授，在计算材料物理等领域有较深入地研究。主持多项国家自然科学基金和青年基金。 本书介绍了四十二个数学模型，它们来自不同领域：天文、凝聚态物理、高能物理、核反应堆、材料、洋流、交通、电网、通讯和经济等。书中详细推导了这些模型，并且对部分模型给出计算结果。这些模型和很多数学分支(微

本书介绍了42个数学模型，它们来自天文学、凝聚态物理、高能物理、核反应堆、材料科学、洋流运动学、交通技术、电网技术、通信技术和经济学等不同领域。书中详细推导了这些模型，并且对部分模型给出了计算结果。这些模型与很多数学分支专业（微积分、几何、优化、控制、泛函、变分、微分方程和随机过程等）相关，也与物理学中的热力学、配分函

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

本书是MATLAB数学建模应用系列书之一，以MATLAB2020a软件版本为基础，根据数学建模的需要编写，包含多种数学建模问题的MATLAB求解方法，是一本详尽的MATLAB数学建模综合性参考书。全书共20章，分为两部分，第1～10章属于基础知识部分，第11～20章属于综合应用部分。基础知识部分包括MATLAB基础、程

本书科目为数学三。本书是根据大纲编写的全真模拟试题。每套题的题量与题型和考试大纲中的样题一致;基本涵盖考试大纲大部分重要考查知识点;每道题均有答案和较详细的解答过程。本书旨在通过最后的模拟演练,帮助考生查漏补缺,明确考试方向,进而实现对重点知识、重要题型及其解题方法的熟练掌握。本书内容十分简洁,在繁重的知识库中提炼最有

本书就数学模型及建模的含义、数学建模的基本过程、在小学数学教学中的应用以及相应的教学策略展开讨论。数学建模是沟通数学和生活实践的重要桥梁,被广泛地应用于人们生活的各个领域中。在数学建模中,有很多问题的解决方法不唯一,也没有统一的答案,因此,高校在进行数学建模教学过程中需要注重培养学生的创造能力和分析问题、解决问题的能力