张锦文

集合论浅说.pdf

集合论是一门现代数学,它已在计算机科学、人工智能科学、逻辑学、经济学、语言学和心理学等方面有着重要的应用. 本书深入浅出地介绍了集合的基本概念、性质、关系、运算、无穷序数与无穷基数等.书中穿插了一些习题,逐一作出这些习题,可以帮助读者理解和掌握有关内容.

公理集合论导引.pdf

与通常的公理集合论著作不同,本书在引入形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念,为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统,对直观集合论中的概念和公理进行了形式化处理,并在此基础上建立了若干逻辑