离散数学是计算机专业的基础数学课程,本书与“数理逻辑与集合论”一起构成了清华大学计算机的离散数学课程的教材。学时为50学时。本书是作者在使用多年“图论与代数结构”讲义的基础上完成的。本书共10章,分为两部分。前六章是图论,第1章介绍图的基本概念及其代数表示方法,第2章~第6章分别详细讨论了道路与回路、树、平面图与图的着色、匹配与网络流、图的连贯性等图的主要内容,并且将它们与计算机的应用紧密结合,分别介绍了众多良好的图算法,给出其正确性证明与复杂度分析,以便读者在图的应用及算法的设计与分析方面能得到较好的训练与培养。第7章~第10章是代数结构部分,主要讨论了群、环和域、格与布尔代数等内容,它们都是抽象代数的基本内容,是计算机科学的重要数学基础。全书结构紧凑、内容精炼、证明严谨、语言流畅。为了便于读者理解和掌握基本理论,书中提供丰富的例题,每章后面附有较多的习题,难度恰当,还有一定数量的上机题,可以帮助读者熟悉、掌握图的编程技巧。本书可作为计算机专业学生的教科书或参考书,也可供计算机工程技术人员作参考。