本书主要介绍逻辑动态系统在应用方面的最新研究进展，特别关注在下列领域的应用研究：有限自动机、图论、运...
2019.8
在这部开创性著作中，数学家格雷戈里·蔡汀提出了关于进化和生物创造性的一个数学理论，试图从数学上证明达...
2015.1
本书在简要介绍一型模糊集理论的基础上, 系统地讲述了二型模糊集的概念、表示、运算等基础理论，并由此发展...
2013.
本书结合实际，分五个专题讲述了极限存在性的证明、利用常数变易证题法、应用中值定理证题法、应用泰勒公式...
2006.05
本书阐述数学证明的基本原理，主要包括：证明方法；证明理论（关于证明的定理）；专门知识的表示和转换方法...
2015.11