本書(shū)結(jié)合了作者教學(xué)團(tuán)隊(duì)在哈爾濱工業(yè)大學(xué)講授“離散數(shù)學(xué)”課程40余年的經(jīng)驗(yàn)和體會(huì), 根據(jù)本科生教學(xué)的實(shí)際需要選擇和組織有關(guān)內(nèi)容撰寫而成, 包含了該課程需涵蓋的概念、理論、方法和應(yīng)用, 主要包括四部分內(nèi)容: 集合論、邏輯演算、圖論與代數(shù)系統(tǒng)。集合論是整個(gè)數(shù)學(xué)的基礎(chǔ), 也是計(jì)算機(jī)科學(xué)的基礎(chǔ), 計(jì)算機(jī)科學(xué)領(lǐng)域中的大多數(shù)基本概念和理論, 幾乎均采用集合論的有關(guān)術(shù)語(yǔ)來(lái)描述和論證; 圖論的基本知識(shí)則將始終陪伴著每一個(gè)計(jì)算機(jī)工作者的職業(yè)生涯; 數(shù)理邏輯是用數(shù)學(xué)方法研究推理的形式結(jié)構(gòu)和推理規(guī)律的學(xué)科, 在電子線路、機(jī)器證明、自動(dòng)化系統(tǒng)、編譯理論、算法設(shè)計(jì)方法、自動(dòng)程序設(shè)計(jì)、CAD方面有著廣泛的應(yīng)用, 邏輯演算是數(shù)理邏輯的基礎(chǔ); 代數(shù)系統(tǒng)用于培養(yǎng)數(shù)學(xué)思維, 側(cè)重于將現(xiàn)有的知識(shí)系統(tǒng)化、形式化和抽象化, 對(duì)于抽象數(shù)據(jù)類型、形式語(yǔ)義的研究很有用處, 可以作為程序語(yǔ)言設(shè)計(jì)、編譯器設(shè)計(jì)、計(jì)算機(jī)網(wǎng)絡(luò)設(shè)計(jì)等的表示工具。