本書是計(jì)算機(jī)科學(xué)核心課程——離散數(shù)學(xué)的基本教材。全書共分五篇。前四篇分別介紹了數(shù)理邏輯，集合論，代數(shù)結(jié)構(gòu)和圖論四個(gè)專題。第五篇為應(yīng)用部分，主要介紹形式語言與自動(dòng)機(jī)以及糾錯(cuò)碼初步。內(nèi)容敘述嚴(yán)謹(jǐn)，推演詳盡，大部分概念都用實(shí)例說明并配有相當(dāng)數(shù)量的習(xí)題。 本書可作為理工科院校計(jì)算機(jī)專業(yè)的離散數(shù)學(xué)教材，也可作為自動(dòng)控制、電子工