書籍信息
| 作者： | 李剛 | ||
| 定價： | 48 元 | 頁數： | 405頁 |
| ISBN： | 978-7-309-09001-7/O.496 | 字數： | 479千字 |
| 開本： | 16 開 | 裝幀： | 平裝 |
| 出版日期： | |||
內容簡介
本書系統地介紹了數理邏輯、集合論、圖論和代數系統的核心內容，全書分為緒論、命題邏輯、謂詞邏輯、集合與計數、關係、次序關係與格、映射與無限集、圖論基礎、樹與根數、典型圖類、代數系統和典型代數系統等共12章．在各個部分內容前增加了其歷史進展，在介紹基礎理論的基礎上，還給出了部分具體套用和部分方法的算法實現．每節配有基礎練習題，每章配有精選自測試卷．
本書在內容安排上循序漸進、通俗易懂、結構嚴謹，注重授課和學習的可選擇化、抽象概念和理論的引入例子熟悉化、基本理論和方法的套用化、典型方法的算法化．本書可作為數學大類、計算機大類及相關學科專業的本、專科生的教材，也可供自學者、科技工作者和工程實踐者參考．
