中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數學專題練1200題
-
>
希格斯:“上帝粒子”的發明與發現
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
離散數學 版權信息
- ISBN：9787118100280
- 條形碼：9787118100280 ; 978-7-118-10028-0
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
離散數學 本書特色
全書共12章，內容包含證明技巧、數理邏輯、集合與關系、函數、組合計數、圖和樹、初等數論、離散概率、代數系統等。本書體系嚴謹，文字精練，內容翔實，例題豐富，注重與計算機科學技術的實際問題相結合，并選配了大量難度適當的習題，適合教學。
離散數學 內容簡介
全書共12章，內容包含證明技巧、數理邏輯、集合與關系、函數、組合計數、圖和樹、初等數論、離散概率、代數系統等。本書體系嚴謹，文字精練，內容翔實，例題豐富，注重與計算機科學技術的實際問題相結合，并選配了大量難度適當的習題，適合教學。
離散數學 目錄
第1章 離散數學基礎
1.1 算法
1.1.1 算法的定義
1.1.2 算法的基本特征
1.1.3 算法設計方法
1.1.4 算法表示
1.1.5 算法的復雜度分析
1.2 可計算性問題
1.3 模和同余
1.4 遞歸
1.5 密碼學初步
1.6 計數
小結
習題
第2章 命題邏輯
2.1 命題與聯結詞
2.1.1 命題及其表示
2.1.2 聯結詞
2.1.3 *小功能完備集
2.2 命題公式與重言式
2.2.1 命題公式
2.2.2 指派與真值表
2.2.3 重言式
2.3 范式
2.3.1 對偶原理
2.3.2 范式
2.3.3 主析取范式
2.3.4 主合取范式
2.4 基于命題的推理
2.4.1 推理理論
2.4.2 cp規則
2.4.3 歸謬法
小結
習題
第3章 謂詞邏輯
3.1 謂詞
3.2 量詞
3.2.1 全稱量詞
3.2.2 存在量詞
3.2.3 量詞分析
3.3 謂詞公式
3.4 謂詞演算
3.5 謂詞演算中的推理規則
3.5.1 推理規則
3.5.2 含有量詞的永真式
3.6 三元謂詞向二元謂詞的轉換
3.7 基于謂詞的知識表示
3.8 基于謂詞演算的程序正確性證明
小結
習題
第4章 集合論
4.1 集合的基本概念
4.1.1 集合及其表示
4.1.2 子集
4.1.3 基數
4.1.4 冪集
4.1.5 悖論
4.2 集合的運算
4.2.1 集合的并與交
4.2.2 集合的差與補
4.2.3 環和與環積
4.2.4 集合的笛卡兒積
4.3 集合運算定律
4.4 集合計數
……
第5章 關系
第6章 函數
第7章 圖論
第8章 樹
第9章 代數結構
第10章 群與環
第11章 格與布爾代數
第12章 附注
參考文獻
展開全部
書友推薦
- >
回憶愛瑪儂
- >
苦雨齋序跋文-周作人自編集
- >
山海經
- >
李白與唐代文化
- >
巴金－再思錄
- >
龍榆生：詞曲概論/大家小書
- >
自卑與超越
- >
唐代進士錄
本類暢銷
