內容簡介
nrty">
本書由五篇構成。篇數理邏輯,內容包括命題邏輯、謂詞邏輯、公理繫統、歸結法原理。第二篇集合論,內容包括集合的基本概念及其運算、關繫、函數、自然數和基數。第三篇圖論,內容包括基本概念、通路問題、圖的矩陣表示、樹、穿程問題、二分圖的匹配問題、平面圖及色數。第四篇代數繫統,內容包括基本概念、半群和群、環和域、格和布爾代數、抽像數據類型的代數規範。第五篇有限自動機理論,內容包括基本概念、有限自動機的簡化、有限自動機和正則表達式、有限自動機的綜合與應用。
《離散數學》內容繫統、全面,概念清晰,敘述嚴謹精煉,推理詳盡嚴格,各部分獨立成篇,並有大量例題和習題,便於讀者理解和掌握相關知識。本書可作為高等學校本科計算機專業離散數學課程的教材,也可供計算機科學與工程技術人員學習參考。