公理化集合论机器证明系统.pdf
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或
集合
集合论导引（第一卷）基本理论.pdf
本卷是这本《集合论导引》的开卷，分为三章，是后续两卷的基础。第1章主要是引进集合论的基本公理、基本概念、基本方法，并给出典型的可数集合的例子，包括自然数集合、整数集合、有理数集合以及彻底有限集合等。第2章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第3章专门
集合论导引（第二卷）集论模型.pdf
本卷是集合论的模型分析部分。在第一卷的基础上，本卷的主要任务是将逻辑植入集合论之中，并以此为基础实现三大目标：第一大目标是将同质子模型分析引入集合论，这是一种不同于组合分析的对无穷集合展开分析的基本方法；第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域，从
集合、命题与运算.pdf
这本小册子是《自修数学》小丛书中的一本．书中以通俗易懂的语言和生动有趣的实例，介绍了有关集合论的基本概念、性质、运算法则及其应用．为便于自学，每节之后还穿插了有趣味的练习题（书末附有答案）． 本书可供中学生课外阅读，亦可供具有中等文化程度的青年、教师、干部等阅读．
软集合约简与决策.pdf
软集合理论作为新兴的数学工具，充分解决了参数化工具不足的问题，能够利用更丰富的参数信息描述对象与集合之间的不确定性关系和运算操作。近几年，软集合理论得到了飞速的发展。《软集合约简与决策》针对软集合理论，从约简与决策两个方面进行研究。基于选择值法研究软集合正则参数约简问题和模糊软集