內容簡介
本書主要介紹離散數學的基本理論及算法實現,分為兩大部分,第一部分介紹計算機科學中廣泛套用的離散結構基本概念和基本原理,包括以下內容:數理邏輯、集合論、二元關係、函式、代數系統和圖論。第二部分給出了與各章內容密切相關的算法和程式,使理論在計算機上得到具體實現。附錄部分給出了近年來考研試題的分析。
本書條理清晰,闡述深入淺出,適合作為高等學校計算機及相關專業離散數學課程的本科生教材,也可供計算機科學工作者和科技人員閱讀與參考。
目錄
前言
第一篇計算機科學中的離散結構
第1章命題邏輯
1.1引言
1.2 命題及命題邏輯聯結詞
1.2.1 命題
……