公理集合论导引 豆 8.8分

资源最后更新于 2020-08-19 15:50:17

作者：张锦文

出版社：科学出版社

出版日期：1999-01

ISBN：9787030018496

文件格式： pdf

标签： 集合论 数学 数理逻辑 数学基础 逻辑学 逻辑 形式系统 离散数学

简介· · · · · ·

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

本书可供大专院校数学系学生、教师以