《離散數學結構：理論與套用》是2005年高等教育出版社出版的圖書，作者是馬力克。
基本介紹
- 中文名：離散數學結構：理論與套用
- 作者：馬力克
- 譯者：邱仲潘
- 語言：簡體中文
- 出版時間：2005年1月1日
- 出版社：高等教育出版社
- 頁數：919 頁
- ISBN：7040173905
- 開本：16 開
內容簡介,圖書目錄,作者簡介,
內容簡介
離散數學結構是計算機學科課程體系中一門重要的課程。本書採用一種全新的方法來講授計算機科學的數學基礎，包括邏輯、布爾代數、圖論基礎、有限狀態機、語法和算法等。這門計算機專業必修課有助於學生理解數學論題的構建和數學推理的過程。本書特色：專為大學本科離散數學課程設計，書中各章均包含l00多道練習題，貫穿全書的習題解答為培養學生解決問題的技巧提供了示範，提供了豐富的樣例集和可視圖表，清晰地定義和解釋了重要概念，通過教學網站提供給學生額外的練習題、資源網站連結和習題解答手冊。本書中所介紹的方法是作者多年教學經驗的結晶，採用這種理論與套用相結合的方法，可以提高學生的學習興趣，降低學習難度。在各章，作者使用現實世界中具體的事例來激發學生理解數學中抽象概念的能力。本書包含有大量的示例和補充練習，使學生在編程實踐中靈活運用計算機科學知識，學習並鞏固了一些重要的概念。本書不僅在講授方法上是理論與實踐相結合的範本，而且在語言敘述上與課堂授課的風格相一致。
圖書目錄
第一章 集合論、邏輯與算法基礎
1.1 集合
1.1.1 文氏圖
1.1.2 集合運算
1.1.3 有序對與笛卡兒叉積
1.1.4 集合的計算機表示
課堂練習
本節小結
習題l.1
1.2 數理邏輯
1.2.1 非
1.2.2 合取
1.2.3 析取
1.2.4 蘊涵
1.2.5 雙向蘊涵
1.2.6 命題公式（公式）
課堂練習
本節小結
習題l.2
1.3 論證有效性
1.3.1 一些有效論證形式
課堂練習
本節小結
習題l.3
1.4 量詞與一階邏輯
1.4.1 渭詞求非
1.4.2其他推理規則
課堂練習
本節小結
習題l.4
1.5 證明方法
1.5.1直接證明
1.5.2間接證明
1.5.3反證法
1.5.4證明雙向蘊涵
1.5.5證明等價命題
1.5.6證明中的錯誤
課堂練習
本節小結
習題l.5
1.6 算法
1.6.1偽碼約定
1.6.2多項式運算
課堂練習
本節小結
習題l.6
