《离散数学基础教程》姜守旭, 陈建文, 王义和编著清华大学出版社

内容简介：

本书结合了作者教学团队在哈尔滨工业大学讲授“离散数学”课程40余年的经验和体会, 根据本科生教学的实际需要选择和组织有关内容撰写而成, 包含了该课程需涵盖的概念、理论、方法和应用, 主要包括四部分内容: 集合论、逻辑演算、图论与代数系统。集合论是整个数学的基础, 也是计算机科学的基础, 计算机科学领域中的大多数基本概念和理论, 几乎均采用集合论的有关术语来描述和论证; 图论的基本知识则将始终陪伴着每一个计算机工作者的职业生涯; 数理逻辑是用数学方法研究推理的形式结构和推理规律的学科, 在电子线路、机器证明、自动化系统、编译理论、算法设计方法、自动程序设计、CAD方面有着广泛的应用, 逻辑演算是数理逻辑的基础; 代数系统用于培养数学思维, 侧重于将现有的知识系统化、形式化和抽象化, 对于抽象数据类型、形式语义的研究很有用处, 可以作为程序语言设计、编译器设计、计算机网络设计等的表示工具。

目录：