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