離散數學

本書介紹了命題邏輯、謂詞邏輯、集合及其運算、二元關係、函數、代數結構、格和布爾代數、圖論、樹、Petri網和運輸網絡以及計數方法和分類原理等與計算機科學密切相關的前沿課題。