本书在对国内外相关研究进行梳理的基础上，第一部分首先阐释了微分动态逻辑及其三种扩展逻辑及其证明演算，第二部分探讨了混成系统的自动定理证明，第三部分是混成系统验证实例研究和应用研究。全书从逻辑分析、数学建模、证明义务和验证技术四个方面展开研究，探讨了空中交管系统、列车控制系统、分布式汽车控制系统的防撞策略，验证了这些系统

本书先按数学史的分期及学科的发展状况分为14讲，每讲90分钟，讲述了从数学的起源到20世纪数学发展的主流思想和重要成果.它从一般公众的角度认识数学，以希望对“数学家做些什么”有所了解为出发点，阐述数学的发展历程，注重世界文明对数学发展的促进作用及数学发展对人类科技进步的影响，展现数学家丰富多彩的人生。

本书上册内容包括极限与连续、导数与微分、微分中值定理与导数应用、不定积分、定积分、定积分的应用、常微分方程，共七章。根据学生的学习规律，本教材每章都有知识点总结，以便学生更好地掌握每章的知识点。

本书涵盖数值计算方法、弹性力学、有限元理论、软件操作等核心内容，以及多种结构仿真类型和大量工程实例分析。本书内容全面，重点突出，注重实用与可操作性；配套的软件实操内容步骤清晰、案例典型。

本书描述了该时期出现的各种数学理论、方法和结果。为了论证观点，他会讲有趣的故事，放优美的插图，并进行简单的数学推理。打开本书，从任何一个地方开始阅读，你都会发现一些有趣的事情，并立刻被数学史上的各种灵感所吸引。

本书讲述了这些和许多其他不可能定理的历史，从古希腊证明正方形中的边和对角线不可通约性开始。吕岑认为，不可能结果的作用随着时间的推移而发生了变化。起初，它们被认为是与数学有关的相当不重要的元命题，但渐渐地，它们获得了可以证明而且应该被证明的重要的正确数学结果的作用。虽然数学不可能性证明比生活中其他领域的不可能性论证更严格

本书分三大部分：第一部分从硬币、骰子等简单试验切入，系统讲解计数、排列组合，筑牢概率基础；第二部分聚焦古典概率、数学期望、条件概率、贝叶斯定理，搭建核心知识框架；第三部分延伸至伯努利试验、正态分布、概率谬误与现实应用，打通理论与生活。

本书国际著名数学史学家维辛追溯了文艺复兴和科学革命时期的数学历史。他清晰生动地描述了该时期出现的各种数学理论、方法和结果。为了论证观点，他会讲有趣的故事，放优美的插图，并进行简单的数学推理。打开本书，从任何一个地方开始阅读，你都会发现一些有趣的事情，并立刻被数学史上的各种灵感所吸引。本书资料翔实，能够让广大读者了解数学

本书国际著名数学史学家维辛追溯了从古希腊到欧洲中世纪的数学历史。他清晰生动地描述了该时期出现的各种数学理论、方法和结果。为了论证观点，他会讲有趣的故事，放优美的插图，并进行简单的数学推理。打开本书，从任何一个地方开始阅读，你都会发现一些有趣的事情，并立刻被数学史上的各种灵感所吸引。

本书详细介绍了研究经典可积系统的解析和渐近分析方法。内容包括，复分析、代数曲线和黎曼曲面的基本知识、线性散射问题与非线性可积系统、可积系统的解析求解方法、黎曼-希尔伯特方法、Deift-Zhou非线性速降法、Flaschka-Forest-McLaughlin有限间隙积分法、Whitham调制理论、Dubrovin普适