內容簡介
本書介紹了離散數學基礎知識和應用方法,全書共分為4篇,第1篇為數理邏輯,內容包括命題邏輯和一階邏輯;第2篇為集合論,內容包括集合的基本概關繫、函數等;第3篇為代數繫統,內容包括代數繫統的基本概念、半群、群、環、域、格與布爾代數;第4篇為圖論,內容包括圖的基本概念、幾類重要的圖、短路徑、關鍵路徑等。
本書在內容安排上,突出由淺入深、循序漸進、通俗易懂的特點,另外各章配備了大量的例題,其內容與計算機科學的理論與實踐密切結合,便於自學。本書適合作為高等院校計算機及相關專業本科生的教材,也可供計算機專業的科技人員使用或參考。
本書在內容安排上,突出由淺入深、循序漸進、通俗易懂的特點,另外各章配備了大量的例題,其內容與計算機科學的理論與實踐密切結合,便於自學。本書適合作為高等院校計算機及相關專業本科生的教材,也可供計算機專業的科技人員使用或參考。