巴士下载站 / 汇聚当下最新最酷的软件下载站!
巴士下载站
您的位置: 首页 >软件下载 > 教育教学 > 电子书籍 > 数理逻辑与集合论第2版 pdf高清电子版

巴士为您推荐: 数理逻辑与集合论 第2版 pdf 高清电子版

数理逻辑与集合论pdf是一套免费的高等数学电子课本。面向高校学生们提供了高清晰版的高代教学内容以及课后习题。并且附带了完整的习题答案,需要的用户欢迎在巴士下载站下载。

数理逻辑与集合论第2版下载(该资源已下架)-数理逻辑与集合论第2版 pdf高清电子版下载

电子图书介绍

《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章,前8章介缗数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论,包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。

数理逻辑与集合论pdf目录介绍

概述

第1章 命题逻辑的基本概念

第2章 命题逻辑的等值和推理演算

第3章 命 题逻辑的公理化

第4章 谓词逻辑的基本概念

第5章 谓词逻辑的等值和推理演算

第6章 谓词逻辑的公理化

第7章 一阶形式理论及模型

第8章 证明论中的逻辑系统

第9章 集合

第10章 关系

第11章 函数

第12章 实数集合与集合的基数

猜你喜欢
排行榜
回顶部 去下载