本书主要介绍基本的集合论，拓扑结构，代数结构，偏序结构这些“数学常识”，为读者继续学习打基础。在内容的...
2019.11
利用计算机证明辅助工具，可以完整构建这三大母结构的形式化系统。本书利用交互式定理证明工具Coq，实现Mor...
2019.12
《集合论导引》共三卷，本书是第一卷，本卷是这本《导引》的开卷。本卷将分成三章来为后续两卷奠定基础。第...
2019.12
《集合论导引》共三卷，本书是第二卷，主要介绍基础理论——“集合论模型”。
2019.12
《集合论导引》共三卷，本书是第三卷，主要介绍“高阶无穷理论”。
2019.12
本书共2部分，主要介绍了集合的经典理论、集合论的公理化构成，第一部分比较完整地叙述了经典集合论的各式...
2019.6
一个学科只有建立它的公理体系，正如概率论在建立其公理体系后才真正进入数学殿堂。本教程分集合论与二元关...
2019.11
本书主要内容有各种环境下粗糙近似算子的构造性定义与公理化刻画，含一般关系下的粗糙集、粗糙模糊集、模糊...
2019.7
在故障诊断中，粗糙集方法对新故障实例的泛化性能不仅与现有故障实例集上的经验风险有关，而且与粗糙集方法...
2019.6