数理逻辑与集合论第2版 pdf高清电子版
基本信息
打开支付宝首页搜“673273051”领红包，领到大红包的小伙伴赶紧使用哦！
相关书籍
- 高等数学微积分同济大学第六版(上册下册+答案)[57.9M]
- 漫画虚数和复数完整版 pdf高清电子扫描版[49.7M]
- 高等代数与解析几何第二版答案 完整免费版[2.1M]
- 微分几何入门与广义相对论(上/中/下册) pdf高清完整版[66.3M]
- 数学物理中的微分几何与拓扑学 pdf高清扫描版[3.0M]
内容介绍
数理逻辑与集合论pdf是一套免费的高等数学电子课本。面向高校学生们提供了高清晰版的高代教学内容以及课后习题。并且附带了完整的习题答案，需要的用户欢迎在绿色资源网下载。
《清华大学计算机系列教材：数理逻辑与集合论（第2版）》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材：数理逻辑与集合论（第2版）》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。
概述
第1章 命题逻辑的基本概念
第2章 命题逻辑的等值和推理演算
第3章 命 题逻辑的公理化
第4章 谓词逻辑的基本概念
第5章 谓词逻辑的等值和推理演算
第6章 谓词逻辑的公理化
第7章 一阶形式理论及模型
第8章 证明论中的逻辑系统
第9章 集合
第10章 关系
第11章 函数
第12章 实数集合与集合的基数
下载地址
打赏
