離散數學是計算機專業(yè)的基礎數學課程,本書與“數理邏輯與集合論”一起構成了清華大學計算機的離散數學課程的教材。學時為50學時。本書是作者在使用多年“圖論與代數結構”講義的基礎上完成的。本書共10章,分為兩部分。前六章是圖論,第1章介紹圖的基本概念及其代數表示方法,第2章~第6章分別詳細討論了道路與回路、樹、平面圖與圖的著色、匹配與網絡流、圖的連貫性等圖的主要內容,并且將它們與計算機的應用緊密結合,分別介紹了眾多良好的圖算法,給出其正確性證明與復雜度分析,以便讀者在圖的應用及算法的設計與分析方面能得到較好的訓練與培養(yǎng)。第7章~第10章是代數結構部分,主要討論了群、環(huán)和域、格與布爾代數等內容,它們都是抽象代數的基本內容,是計算機科學的重要數學基礎。全書結構緊湊、內容精煉、證明嚴謹、語言流暢。為了便于讀者理解和掌握基本理論,書中提供豐富的例題,每章后面附有較多的習題,難度恰當,還有一定數量的上機題,可以幫助讀者熟悉、掌握圖的編程技巧。本書可作為計算機專業(yè)學生的教科書或參考書,也可供計算機工程技術人員作參考。