集合论与图论（离散数学二分册）

哲理数学基础 自然集合论及其应用

几何三部曲 第1卷 几何的公理化方法 英文版

本书以几何公理化方法的历史发展成果为基础，系统给出了欧几里得几何、非欧几里得几何和投影几何研究的现代方法。公理化几何是形式化数学的起源，其中有很多著名问题有待解决。对这些著名问题的研究往往会导致...

模糊集合论及其应用 第4版 英文

犯罪构成集合论

《犯罪构成集合论》是以数学领域的集合运用于犯罪构成理论研究的最终成果。本书的特点主要是利用数学领域中的集合论对刑法领域中的犯罪构成理论从方法论上进行了大胆的尝试。...

逻辑代数讲义 附：集合论讲义上册习题解答

离散数学 第2分册：集合论与图论

北京大学计算机科学与技术系教材。

离散数学习题集 数理逻辑与集合论分册

朴素集合论

本书作者运用通俗的语言及常规的非形式化数学符号，向读者阐述了初等集合论的基本内容，而这部分内容对于高等数学的初学者来说是必须要了解的。作者通俗化的论述能够使读者充分地理解集合论中抽象的定理，并且会...

悖论、逻辑与非Cantor集合论

本书共分为两编13章，介绍了关于悖论、逻辑与非Cantor集合论的相关内容，给出了正集和反集的概念，阐述了域外项的逻辑性质，重构ZF公理系统，给出了一般集合的递归性与“停机问题”。本书适合于从事悖论、逻辑与非Ca...