欢迎来到相识电子书！
章节目录
概述 第1章 命题逻辑的基本概念 第2章 命题逻辑的等值和推理演算 第3章 命 题逻辑的公理化 第4章 谓词逻辑的基本概念 第5章 谓词逻辑的等值和推理演算 第6章 谓词逻辑的公理化 第7章 一阶形式理论及模型 第8章 证明论中的逻辑系统 第9章 集合 第10章 关系 第11章 函数 第12章 实数集合与集合的基数
内容简介
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。
下载说明
1、数理逻辑与集合论是作者石纯一创作的原创作品，下载链接均为网友上传的网盘链接！
2、相识电子书提供优质免费的txt、pdf等下载链接，所有电子书均为完整版！