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

本书共4册，包括《几何与思维游戏》《曲线、圆与拼图游戏》《形状、数字与拓扑学》《逻辑、概率与科学》四册。这是一套别具一格的数学思维书。英国智力游戏专家伊凡·莫斯科维奇趣讲1000个数学中的神奇现象和思维游戏，展现了数学与生活、艺术、科学、文化的息息相关。从这本书中，我们可以了解什么是概率，什么是排列组合，生活中的各种数

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

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

本书按内容分为上下两册，上册为数学分析的内容，共六章，第一章为分析学引论、极限与连续、第二章微分学、第三章为Riemann积分、第四章为广义积分与含参积分、第五章为函数的凹凸性与积分不等式、第六章为无穷级数；下册为高等代数与空间解析几何的内容，共七章，第一章为矩阵与行列式，第二章为多项式，第三章为线性方程组，第四章为线

本书第二版被评为国家十二五普通高等教育规划教材，第五版被评为江西省十四五普通高等教育本科规划教材、江西省优秀教材一等奖。本书内容包括函数与极限、导数与微分、微分中值定理与导数的应用、不定积分、定积分及其应用、多元函数微积分、微分方程与差分方程、无穷级数、高等数学实验。每节配有习题，章末配有总习题。书中配有二维码知识点视

全书分为上下两册，上册主要为一元函数内容，包括函数与极限、导数及应用、积分及应用、微分方程等内容；下册主要为多元函数内容，包括向量代数与空间解析几何、多元函数微分学及其应用、多元函数积分学及其应用、无穷级数等内容。全书每节都配有适量的习题，书末附有一些常用的数学公式、常用的曲线以及习题参考答案或提示。同时，配套了数字化

对于数学及相关专业的本科生而言，常微分方程课程具有不可替代的重要性：它是数学知识体系的关键枢纽，将微积分、线性代数、解析几何等多门前置课程的知识融合贯通并用于解决实际问题；它是通往现代科学前沿的必经之路，无论是继续深造学习偏微分方程、动力系统，还是转向应用领域如控制理论、生物数学，常微分方程都是必备的基础。本书介绍常微

全书分为社会选择、管理科学、增长、形状和形式以及统计五大部分，涵盖的主题有选举、旅行商问题、网络连接成本、人口增长模型、金融模型、分形几何、斐波那契数和数据分析等。将这些丰富的现代主题与现实生活中的应用案例相结合，体现了现代数学生动有趣的一面，向社会学、管理科学、心理学、政治学和经济学等专业的学生展现了数学的力量和魅力

本书题型比较全面的涵盖了考研数学三中微积分、线性代数、概率论与数理统计三个部分的强化高质量题型，通过刷题发现漏点，突破难关直至真正掌握重难点题型，使学生在原有基础上可能有质的改变，实现真正的“强化通关”。