作业帮请帮忙推荐一本介绍数理逻辑,集合论的书听说数学的很多概念都是用集合来定义的,这个想法很新颖啊.有没有这方面的书呢?帮忙介绍本,也希望您能注明作者楼下的先生您看过那本书吗？能
来源：学生作业帮助网 编辑：作业帮 时间：2024/04/27 13:53:20
请帮忙推荐一本介绍数理逻辑,集合论的书听说数学的很多概念都是用集合来定义的,这个想法很新颖啊.有没有这方面的书呢?帮忙介绍本,也希望您能注明作者楼下的先生您看过那本书吗？能
请帮忙推荐一本介绍数理逻辑,集合论的书
听说数学的很多概念都是用集合来定义的,这个想法很新颖啊.有没有这方面的书呢?帮忙介绍本,也希望您能注明作者
楼下的先生您看过那本书吗？能说下这本书对您有什么帮助吗？
这本书真的好吗？
请帮忙推荐一本介绍数理逻辑,集合论的书听说数学的很多概念都是用集合来定义的,这个想法很新颖啊.有没有这方面的书呢?帮忙介绍本,也希望您能注明作者楼下的先生您看过那本书吗？能
George Tourlakis, Lectures in Logic and Set Theory (Cambridge, 2003) 分上下两卷
看看群论吧
数理逻辑与集合论（第2版） 作者 石纯一
【内容简介】
数理逻辑与集合论是离散数学的主要组成部分，是计算机科学的数学基础，全书共12章，前8章介绍数理逻辑，后4章介绍集合论。本书可作为大学离散数学的教科书，也可供从事计算机科学、人工智能等方面的科技人员参考。
【目录信息】
第1章：命题逻辑的基本概念
第2章：命题逻辑的等值和推理演算
第3章：命题逻辑...
全部展开
数理逻辑与集合论（第2版） 作者 石纯一
【内容简介】
数理逻辑与集合论是离散数学的主要组成部分，是计算机科学的数学基础，全书共12章，前8章介绍数理逻辑，后4章介绍集合论。本书可作为大学离散数学的教科书，也可供从事计算机科学、人工智能等方面的科技人员参考。
【目录信息】
第1章：命题逻辑的基本概念
第2章：命题逻辑的等值和推理演算
第3章：命题逻辑的公理化
第4章：谓词逻辑的基本概念
第5章：谓词逻辑的等值和推理演算
第6章：谓词逻辑的公理化
第7章：一阶形式理论及模型
第8章：证明论中的逻辑系统
第9章：集合
第10章：关系
第11章：函数
第12章：实数集合与集合的基数
收起