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