《高等院校信息技術規劃教材:離散數學》適合作為高等學校計算機專業及相關專業的本科生教材，也可以供對離散數學有興趣的讀者自學。

●第1章命題邏輯
●1.1命題及聯結詞
●1.1.1命題的概念
●1.1.2原子命題和復合命題
●1.1.3聯結詞
●1.2命題的合式公式和翻譯
●1.2.1命題公式
●1.2.2命題公式的翻譯
●1.2.3真值表
●1.3公式的等價和蘊含
●1.3.1永真式、永假式和可滿足式
●1.3.2等價式和常用的等價式
●1.4全功能聯結詞集合
●1.5對偶與範式
●1.5.1對偶定義
●1.5.2對偶定理
●1.5.3析取範式和合取範式
●1.5.4主析取範式和主合取範式
●1.6推理理論
●1.6.1蘊含式
●部分目錄

《高等院校信息技術規劃教材:離散數學》繫統地介紹了計算機科學與技術等相關專業所必需的離散數學知識。全書共8章。靠前章介紹命題及命題邏輯，第2章介紹謂詞邏輯及其推理理論，第3章介紹集合與關繫的基本概念和性質，第4章介紹函數，第5章介紹代數繫統，第6章介紹格與布爾代數，第7章介紹圖論的基本概念及其性質，第8章介紹離散數學在計算機科學中的一些具體應用。