離散數學(Discrete mathematics)是研究離散量的結構及其相互關係的數學學科，是現代數學的一個重要分支。它在各學科領域，特別在計算機科學與技術領域有著廣泛的套用，同時離散數學也是計算機專業的許多專業課程，如程式設計語言、數據結構、作業系統、編譯技術、人工智慧、資料庫、算法設計與分析、理論計算機科學基礎等必不可少的先行課程。通過離散數學的學習，不但可以掌握處理離散結構的描述工具和方法，為後續課程的學習創造條件，而且可以提高抽象思維和嚴格的邏輯推理能力，為將來參與創新性的研究和開發工作打下堅實的基礎。
基本介紹
- 書名：離散數學（修訂版）
- 作者：耿素雲
- 頁數：361
- 定價：￥26.70
- 出版社：高等教育出版社
- 出版時間：2004年01月
內容摘要,圖書目錄,
內容摘要
本書第一版於1998年出版,是教育部高等學校"九五"規劃教材和面向21世紀課程教材。此次修訂在保持原有四部分內容(數理邏輯、集合論、代數結構和圖論)的基礎上,增加了相當數量的難度不同的練習題,並結合教學需要引入了一部分新的套用實例。 本書被列為普通高等教育"十五"國家級規劃教材。與本書配套設計的網路課程、電子教案和習題輔導用書即將陸續推出。它們的有機配合可以滿足不同教學環節的需求,構成全新的立體化系列教材。 本書可作為普通高等學校計算機及其他相關專業本科生離散數學課程的教材,也可供其他專業學生和工作人員閱讀和參考。
圖書目錄
第一部分 數理邏輯
第一章 命題邏輯基本概念
1.1 命題與聯結詞
1.2 命題公式及其賦值
習題一
第二章 命題邏輯等值演算
2.1 等值式
2.2 析取範式與合取範式
2.3 聯結詞的完備集
習題二
第三章 命題邏輯的推理理論
3.1 推理的形式結構
3.2 自然推理系統戶
習題三
第四章 一階邏輯基本概念
4.1 一階邏輯命題符號化
4.2 一階邏輯公式及解釋
習題四
第五章 一階邏輯等值演算與推理
