掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
離散數學 版權信息
- ISBN：9787030689191
- 條形碼：9787030689191 ; 978-7-03-068919-1
- 裝幀：一般純質紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
離散數學 內容簡介
本書共分8章。第1章介紹命題及命題邏輯, 第2章介紹謂詞邏輯及其推理理論, 第3章介紹集合的基本概念、性質及計數方法, 第4章介紹二元關系及其性質, 第5章介紹函數及其性質, 第6章介紹圖論的基礎內容和一些特殊圖, 第7章介紹樹及其應用, 第8章介紹代數系統及一些與計算機密切相關的代數系統。各章后均配有難度適當的習題, 便于學生課后練習。本書結構嚴謹, 邏輯清晰, 講解透徹, 示例豐富。
離散數學 目錄
第1章 命題邏輯
1．1 命題與聯結詞
1．1．1 命題
1．1．2 聯結詞
1．2 命題公式與真值表
1．2．1 命題公式
1．2．2 真值表
1．2．3 命題公式的分類
1．3 命題公式的等值演算
1．3．1 等值和基本等值式
1．3．2 等值演算
1．4 聯結詞的擴充與完備集
1．4．1 聯結詞的擴充
1．4．2 聯結詞完備集
1．5 公式的標準型——范式
1．5．1 析取范式和合取范式
1．5．2 主析取范式和主合取范式
1．6 命題邏輯的推理理論
1．6．1 推理的基本概念和推理形式
1．6．2 演繹推理方法
習題1
第2章 謂詞邏輯
2．1 謂詞邏輯的基本概念
2．1．1 個體詞與謂詞
2．1．2 量詞
2．2 謂詞公式及其解釋
2．2．1 謂詞公式
2．2．2 謂詞公式的解釋
2．3 謂詞邏輯等值式與范式
2．3．1 謂詞邏輯等值式
2．3．2 前束范式
2．3．3 斯柯林標準型
2．4 謂詞邏輯的推理理論
2．4．1 量詞的消去及引入規則
2．4．2 謂詞邏輯推理實例
習題2
第3章 集合論
3．1 集合
3．1．1 集合的概念
3．1．2 集合的表示
3．1．3 特殊集合
3．1．4 集合之間的關系
3．2 集合的運算
3．2．1 集合運算的概念
3．2．2 集合運算的算律
3．2．3 集合的計算機表示
3．3 包含排斥原理與鴿巢原理
3．3．1 包含排斥原理
3．3．2 鴿巢原理
習題3
……
第4章 二元關系
第5章 函數
第6章 圖論
第7章 樹
第8章 代數系統
參考文獻
1．1 命題與聯結詞
1．1．1 命題
1．1．2 聯結詞
1．2 命題公式與真值表
1．2．1 命題公式
1．2．2 真值表
1．2．3 命題公式的分類
1．3 命題公式的等值演算
1．3．1 等值和基本等值式
1．3．2 等值演算
1．4 聯結詞的擴充與完備集
1．4．1 聯結詞的擴充
1．4．2 聯結詞完備集
1．5 公式的標準型——范式
1．5．1 析取范式和合取范式
1．5．2 主析取范式和主合取范式
1．6 命題邏輯的推理理論
1．6．1 推理的基本概念和推理形式
1．6．2 演繹推理方法
習題1
第2章 謂詞邏輯
2．1 謂詞邏輯的基本概念
2．1．1 個體詞與謂詞
2．1．2 量詞
2．2 謂詞公式及其解釋
2．2．1 謂詞公式
2．2．2 謂詞公式的解釋
2．3 謂詞邏輯等值式與范式
2．3．1 謂詞邏輯等值式
2．3．2 前束范式
2．3．3 斯柯林標準型
2．4 謂詞邏輯的推理理論
2．4．1 量詞的消去及引入規則
2．4．2 謂詞邏輯推理實例
習題2
第3章 集合論
3．1 集合
3．1．1 集合的概念
3．1．2 集合的表示
3．1．3 特殊集合
3．1．4 集合之間的關系
3．2 集合的運算
3．2．1 集合運算的概念
3．2．2 集合運算的算律
3．2．3 集合的計算機表示
3．3 包含排斥原理與鴿巢原理
3．3．1 包含排斥原理
3．3．2 鴿巢原理
習題3
……
第4章 二元關系
第5章 函數
第6章 圖論
第7章 樹
第8章 代數系統
參考文獻
展開全部
書友推薦
- >
上帝之肋:男人的真實旅程
- >
月亮與六便士
- >
名家帶你讀魯迅:故事新編
- >
我與地壇
- >
回憶愛瑪儂
- >
姑媽的寶刀
- >
李白與唐代文化
- >
苦雨齋序跋文-周作人自編集
本類暢銷
