公理集合论导引 在线电子书 图书标签: 集合论 数学 数理逻辑 数学基础 逻辑 逻辑学 形式系统 离散数学
发表于2024-11-21
公理集合论导引 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
早期很全面的
评分有点吃力,先放一边
评分早期很全面的
评分概念介绍很好,证明细节有些含混
评分这些你总要知道的
与通常的公理集会论著作不同,本书在引人形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念,为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统,对直观集合论中的概念和公理进行了形式化处理,并在此基础上建立了若干逻辑定理。以后各章介绍了公理集会论中的主要方法和结果,以及作者本人的研究成果。
本书可供大专院校数学系学生、教师以
评分
评分
评分
评分
公理集合论导引 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024