掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數學專題練1200題
-
>
希格斯:“上帝粒子”的發明與發現
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
離散數學(第二版) 版權信息
- ISBN：9787113297787
- 條形碼：9787113297787 ; 978-7-113-29778-7
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
離散數學(第二版) 本書特色
本書通俗易懂、概念清楚、講解翔實，適合作為普通高等學校計算機科學與技術、網絡工程及信息管理等專業教材，也可作為高職高專、成人高校相關專業教材。
離散數學(第二版) 內容簡介
離散數學是現代數學的重要分支，是計算機相關學科的基礎理論課之一，學生通過學習能夠得到嚴格的邏輯推理與抽象思維能力的訓練，能夠掌握數理邏輯、集合論、圖論等知識。本書分為數理邏輯、集合論和圖論三部分。其中數理邏輯部分包括命題邏輯、謂詞邏輯兩章，集合論部分包括集合論和二元關系兩章。本書適合作為普通高等學校計算機科學與技術、網絡工程及信息管理等專業教材，也可作為高職高專、成人高校相關專業教材。
離散數學(第二版) 目錄
第1章 緒論
§1．1 離散數學簡介
§1．2 離散數學的地位與作用
第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．4 范式
2．4．1 范式的基本概念
2．4．2 主析取范式
2．4．3 主合取范式
2．4．4 主析取范式與主合取范式的意義
§2．5 命題邏輯推理
2．5．1 命題邏輯推理的基本概念
2．5．2 命題邏輯推理規則
2．5．3 形式證明方法
2．5．4 命題邏輯推理應用
小結
習題
第3章 謂詞邏輯
§3．1 謂詞邏輯概述
3．1．1 謂詞邏輯基本概念
3．1．2 描述實際問題
§3．2 謂詞公式與解釋
3．2．1 謂詞的合式公式
3．2．2 自由變元和約束變元
3．2．3 謂詞公式的解釋
3．2．4 謂詞公式的分類
§3．3 謂詞公式的等值演算
3．3．1 謂詞公式置換規則
3．3．2 變元換名規則
3．3．3 量詞等值式
3．3．4 謂詞公式的范式
§3．4 謂詞推理
3．4．1 謂詞邏輯推理規則
3．4．2 謂詞邏輯推理常見問題
3．4．3 謂詞邏輯推理的應用
小結
習題
第4章 集合論
§4．1 集合的表示和基本概念
4．1．1 集合與元素
4．1．2 集合的表示
4．1．3 集合的基本概念
§4．2 集合的運算
§4．3 集合的計數
4．3．1 有限集中元素的數量
4．3．2 容斥原理
4．3．3 鴿籠原理
小結
習題
第5章 二元關系
§5．1 二元關系的基本概念
5．1．1 有序對與有序n元組
5．1．2 笛卡爾積
5．1．3 二元關系的定義
5．1．4 二元關系的表示
§5．2 關系運算
5．2．1 關系的基本運算
5．2．2 關系運算相關定理
§5．3 關系的性質
5．3．1 關系的基本性質
5．3．2 性質的判斷方法
5．3．3 關系運算與關系的性質
§5．4 關系的閉包
5．4．1 關系閉包的概念
5．4．2 閉包運算方法
§5．5 等價關系
5．5．1 等價關系的概念
5．5．2 等價類
5．5．3 集合的劃分
§5．6 偏序關系
5．6．1 偏序關系的概念
5．6．2 哈斯圖
小結
習題
……
第6章 圖論
習題參考答案
參考文獻
§1．1 離散數學簡介
§1．2 離散數學的地位與作用
第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．4 范式
2．4．1 范式的基本概念
2．4．2 主析取范式
2．4．3 主合取范式
2．4．4 主析取范式與主合取范式的意義
§2．5 命題邏輯推理
2．5．1 命題邏輯推理的基本概念
2．5．2 命題邏輯推理規則
2．5．3 形式證明方法
2．5．4 命題邏輯推理應用
小結
習題
第3章 謂詞邏輯
§3．1 謂詞邏輯概述
3．1．1 謂詞邏輯基本概念
3．1．2 描述實際問題
§3．2 謂詞公式與解釋
3．2．1 謂詞的合式公式
3．2．2 自由變元和約束變元
3．2．3 謂詞公式的解釋
3．2．4 謂詞公式的分類
§3．3 謂詞公式的等值演算
3．3．1 謂詞公式置換規則
3．3．2 變元換名規則
3．3．3 量詞等值式
3．3．4 謂詞公式的范式
§3．4 謂詞推理
3．4．1 謂詞邏輯推理規則
3．4．2 謂詞邏輯推理常見問題
3．4．3 謂詞邏輯推理的應用
小結
習題
第4章 集合論
§4．1 集合的表示和基本概念
4．1．1 集合與元素
4．1．2 集合的表示
4．1．3 集合的基本概念
§4．2 集合的運算
§4．3 集合的計數
4．3．1 有限集中元素的數量
4．3．2 容斥原理
4．3．3 鴿籠原理
小結
習題
第5章 二元關系
§5．1 二元關系的基本概念
5．1．1 有序對與有序n元組
5．1．2 笛卡爾積
5．1．3 二元關系的定義
5．1．4 二元關系的表示
§5．2 關系運算
5．2．1 關系的基本運算
5．2．2 關系運算相關定理
§5．3 關系的性質
5．3．1 關系的基本性質
5．3．2 性質的判斷方法
5．3．3 關系運算與關系的性質
§5．4 關系的閉包
5．4．1 關系閉包的概念
5．4．2 閉包運算方法
§5．5 等價關系
5．5．1 等價關系的概念
5．5．2 等價類
5．5．3 集合的劃分
§5．6 偏序關系
5．6．1 偏序關系的概念
5．6．2 哈斯圖
小結
習題
……
第6章 圖論
習題參考答案
參考文獻
展開全部
離散數學(第二版) 作者簡介
鄒麗娜，沈陽師范大學副教授，從事計算機專業教學工作，在離散數學教學方面積累了豐富的教學實踐經驗，曾被授予“教育bu在線教育研究中心智慧教學之星”榮譽稱號，指導學生參加國家級、省級計算機設計大賽并取得優異成績，主持和參與了多項省級教改項目，參與遼寧省精品資源共享課建設項目，出版著作7部。 董麗薇，沈陽師范大學講師，2007年參加工作以來一直在沈陽師范大學第一線從事本科教學工作，具有豐富的教學經驗，講授“離散數學\"課程10余年，累積了豐富的教學實踐，在本學科領域發表學術論文20余篇。
書友推薦
- >
名家帶你讀魯迅:朝花夕拾
- >
詩經-先民的歌唱
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
羅曼·羅蘭讀書隨筆-精裝
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
自卑與超越
- >
伊索寓言-世界文學名著典藏-全譯本
- >
月亮虎
本類暢銷
