內容提要

    本書由五篇構成。第一篇數理邏輯，內容包括命題邏輯、謂詞邏輯、公理系統、歸結法原理。第二篇集

合論，內容包括集合的基本概念及其運算、關係、函數、自然數和基數。第三篇圖論，內容包括基本概念、通

路問題、圖的矩陣表示、樹、穿程問題、二分圖的匹配問題、平面圖及色數。第四篇代數系統，內容包括基本

概念、半群和群、環和域、格和布林代數、抽象資料類型的代數規範。第五篇有限自動機理論，內容包括基本

概念、有限

退換貨說明：

會員均享有10天的商品猶豫期（含例假日）。若您欲辦理退換貨，請於取得該商品10日內寄回。

辦理退換貨時，請保持商品全新狀態與完整包裝（商品本身、贈品、贈票、附件、內外包裝、保證書、隨貨文件等）一併寄回。若退回商品無法回復原狀者，可能影響退換貨權利之行使或須負擔部分費用。