首页 > 图书中心 > 数理逻辑与集合论(第2版)

图书简介

离散数学包括数理逻辑、集合论、代数结构、图论、形式语言、自动机和计算几何等。 清华大学计算机系把离散数学安排为“数理逻辑与集合论”和“代数结构与图论”两门课程,分两个学期讲授,各占50学时。本书是编著者在讲授“数理逻辑与集合论”时所编写的讲义基础上完成的。 《数理逻辑与集合论》一书的第1版发行至今已有十多年了,在教学过程中已感到数理逻辑部分内容浅了些,需增加深层知识,这是本书再版的原因。为此我们在原书的基础上增加了模型论和证明论两部分,理解这部分内容不甚容易,不求立即直接会用,而是做为基础知识的储备。 本书是离散数学的主要组成部分,是计算机科学的数学基础。全书共12章。前8章介绍数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论,包括集合、关系、函数、实数集与基数。 本书可作为大学离散数学的教科书,也可供从事计算机科学、人工智能等方面的科技人员参考。

版权所有(C)2023 清华大学出版社有限公司 京ICP备10035462号 京公网安备11010802042911号

联系我们 | 网站地图 | 法律声明 | 友情链接 | 盗版举报 | 人才招聘