离散数学结构

作者：  王家廞编著

出版社：清华大学出版社,2004

简介：　　 本书特别关注与计算机科学密切相关的数学知识，既注重各部分内容之间的紧密联系，又注重理论、算法的实际应用。它首先介绍了基础知识，包括集合、序列、整数除法、矩阵、逻辑和计数等概念。接着描述了离散数学的主要知识体系，内容涉及集合论、数学结构、图论、关系、函数、格和布尔代数、树结构、图结构、半群和群等知识，包括整个体系的基础和多个分支。最后介绍了离散数学的应用，涉及形式语言和有限状态机、群和编码。 　　 本书内容丰富、具体，结构清晰，注重实用。它既适用于高等院校计算机及相关专业的本科生和研究生的学习，又可作为工程技术人员的参考书。 　　

数理逻辑与集合论.2版

作者：  石纯一,王家廞编著

出版社：

简介：离散数学包括数理逻辑、集合论、代数结构、图论、形式语言、自动机和计算几何等。　清华大学计算机系把离散数学安排为“数理逻辑与集合论”和“代数结构与图论”两门课程，分两个学期讲授，各占50学时。本书是编著者在讲授“数理逻辑与集合论”时所编写的讲义基础上完成的。　《数理逻辑与集合论》一书的第1版发行至今已有十多年了，在教学过程中已感到数理逻辑部分内容浅了些，需增加深层知识，这是本书再版的原因。为此我们在原书的基础上增加了模型论和证明论两部分，理解这部分内容不甚容易，不求立即直接会用，而是做为基础知识的储