本书是“十二五”普通高等教育本科国家级规划教材。第四版在第三版的基础上修订而成的，第四版仍然保持了前三版的内容系统、建模方法全面、案例新颖、实用性强和时代性特色，突出体现了“广、浅、新、用”的现代应用特点。本书主要内容包括几何分析、集合分析、逻辑分析、微分方程、差分方程、插值与拟合、概率分布、随机模拟、统计分析、数据建

本书既涵盖命题逻辑、一阶谓词逻辑等经典形式系统,系统阐述基本概念与核心理论;又聚焦软件/硬件验证的前沿应用,深入介绍程序逻辑、模型检测技术的算法实现与工具环境。

本书聚焦科学研究核心需求，系统设置优化控制与计算、实验设计与分析、数据处理与分析三大核心板块，内容全面翔实、案例丰富典型、计算程序完整规范，高度契合高等院校研究生创新人才培养目标。全书将数学建模技术与数学实验深度融合，秉持理论知识介绍与实际应用相结合的原则，教学案例均由科研课题及数学建模竞赛试题转化而来，精准反映本学科

本书是作者继《巧用ChatGPT进行数学建模》之后推出的全新力作，系统介绍如何借助国产大语言模型DeepSeek高效完成数学建模任务。全书以“方法论驱动、人机协同、能力内化”为核心理念，构建了一套完整的AI辅助数学建模知识体系。全书共12章，涵盖数学建模全流程。第1～2章介绍数学建模基础与DeepSeek功能特性；第3

你如何证明一种新的医疗方法是有效的?你如何说服法庭相信某人有罪?是什么让你相信一辆自动驾驶汽车是安全的，或者与陌生人进行一笔金融交易不会被骗?对于政府发布的一项政策，你需要哪种类型的证据?你会像哲学家、律师、计算机科学家或统计学家那样处理这些问题吗?还是用一种完全不同的方法?我们每天都会遇到不同的决策时刻，这些决定或大

本书获美国数学协会盛赞，被誉为一部“重新定义了如何学习证明写作艺术的开创性教材”。作者精选一系列引人入胜的数学定理，呈现了轻松有趣的初等证明，涵盖数论、组合学、图论、博弈论、几何、无穷、序理论和实分析等多个数学主题。书中不仅有大量生动的图例和深刻的论证，还为每章配备习题，方便读者自学与练习。本书有助于读者养成良好的证明

本书揭示了归纳、类比和演绎三种推理路径的重要性。读者将了解到逻辑学的四大基本原理：同一律、不矛盾律、排中律和充足理由律，以及这些原理如何在解决看似无解的谜题中发挥作用。书中详细解释了直言命题、假言命题、选言命题等逻辑命题形式，并通过三段论等经典推理形式展示了名侦探们如何应对复杂的推理挑战。此外，本书还探讨了推理过程中常

本书共11章，包括Python基础、插值与拟合、微分方程、图论、综合评价方法、运筹学方法、智能优化算法、分类算法、多元统计方法、预测方法和数学建模应用案例。本书注重强化数学语言的精准表述与数学模型符号的规范表达，引导读者构建严谨的逻辑思维，提升精准运用数学语言进行建模表达的能力。

本教材涵盖认识数学、数学应用、数学应用中的创新思维、数学应用实践、论文写作、MATLAB软件简介和学生竞赛论文选录及参赛承诺书七个部分。配套电子科技大学以数学建模为载体的数学通识教育课程使用，引导学生形成“批判性量化思维”的科学观，训练基于数学進行有效思考、思想交流、合理判断以及价值辨別，形成能以数学眼光看待世界，用数

本书精选2019-2024年全国大学生数学建模竞赛中的15个赛题作为案例，其核心特征体现在四个维度：一是以现实问题为驱动，涵盖工业生产、新能源开发、天文探索考古、农业种植等领域，如炉温曲线优化、FAST望远镜反射面设计等；二是强调实践导向，通过问题分析、模型构建与算法实现(如MWORKS框架)提升建模能力；三是竞赛导向