中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
離散數學 版權信息
- ISBN：9787805130699
- 條形碼：9787805130699 ; 978-7-80513-069-9
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
離散數學 內容簡介
本書內容包括數理邏輯, 集合論, 代數結構和圖論以及形式語言與自動化.
離散數學 目錄
**篇 數理邏輯
**章 命題邏輯
1-1 命題及其表示法
l-2 聯結詞
l-3 命題公式與翻譯
l-4 真值表與等價公式
1-5 重言式與蘊含式
1-6 其他聯結詞
1-7 對偶與范式
1-8 推理理論
l-9 應用
第二章 謂詞邏輯
2-1 謂詞的概念與表示
2-2 命題函數與量詞
2-3 謂詞公式與翻譯
2-4 變元的約束
2-5 謂詞演算的等價式與蘊含式
2-6 前束范式
2-7 謂詞演算的推理理論
第二篇 集合論
第三章 集合與關系
3-1 集合的概念和表示法
3-2 集合的運算
3-3 包含排斥原理
3-4 序偶與笛卡爾積
3-5 關系及其表示
3-6 關系的性質
3-7 復合關系和逆關系
3-8 關系的閉包運算
3-9 集合的劃分和覆蓋
3-10 等價關系與等價類
3-11 相容關系
3-12 序關系
第四章 函數
4-1 函數的概念
4-2 逆函數和復合函數
4-3 特征函數與模糊子集
4-4 基數的概念
4-5 可數集與不可數集
4-6 基數的比較
第三篇 代數系統
第五章 代數結構
5-1 代數系統的引入
5-2 運算及其性質
5-3 半群
5-4 群與子群
5-5 阿貝爾群和循環群
5-6 置換群與伯恩賽德定理
5-7 陪集與拉格朗日定理
5-8 同態與同構
5-9 環與域
第六章 格和布爾代數
6-1 格的概念
6-2 分配格
6-3 有補格
6-4 布爾代數
6-5 布爾表達式
第四篇 圖論
第七章 圖論
7-1 圖的基本概念
7-2 路與回路
7-3 圖的矩陣表示
7-4 歐拉圖與漢密爾頓圖
7-5 平面圖
7-6 對偶圖與著色
7-7 樹與生成樹
7-8 根樹及其應用
第五篇 計算機科學中的應用
第八章 形式語言與自動機
8-1 串和語言
8-2 形式文法
8-3 有限狀態自動機
8-4 兩類自動機的轉換
8-5 有限狀態機的簡化
8-6 有限狀態機與正則語言
第九章 糾錯碼初步
9-1 通訊模型和糾錯的基本概念
9-2 線性分組碼的糾錯能力
9-3 海明碼
9-4 查表譯碼法
符號表
附錄 名詞索引
參考文獻
**章 命題邏輯
1-1 命題及其表示法
l-2 聯結詞
l-3 命題公式與翻譯
l-4 真值表與等價公式
1-5 重言式與蘊含式
1-6 其他聯結詞
1-7 對偶與范式
1-8 推理理論
l-9 應用
第二章 謂詞邏輯
2-1 謂詞的概念與表示
2-2 命題函數與量詞
2-3 謂詞公式與翻譯
2-4 變元的約束
2-5 謂詞演算的等價式與蘊含式
2-6 前束范式
2-7 謂詞演算的推理理論
第二篇 集合論
第三章 集合與關系
3-1 集合的概念和表示法
3-2 集合的運算
3-3 包含排斥原理
3-4 序偶與笛卡爾積
3-5 關系及其表示
3-6 關系的性質
3-7 復合關系和逆關系
3-8 關系的閉包運算
3-9 集合的劃分和覆蓋
3-10 等價關系與等價類
3-11 相容關系
3-12 序關系
第四章 函數
4-1 函數的概念
4-2 逆函數和復合函數
4-3 特征函數與模糊子集
4-4 基數的概念
4-5 可數集與不可數集
4-6 基數的比較
第三篇 代數系統
第五章 代數結構
5-1 代數系統的引入
5-2 運算及其性質
5-3 半群
5-4 群與子群
5-5 阿貝爾群和循環群
5-6 置換群與伯恩賽德定理
5-7 陪集與拉格朗日定理
5-8 同態與同構
5-9 環與域
第六章 格和布爾代數
6-1 格的概念
6-2 分配格
6-3 有補格
6-4 布爾代數
6-5 布爾表達式
第四篇 圖論
第七章 圖論
7-1 圖的基本概念
7-2 路與回路
7-3 圖的矩陣表示
7-4 歐拉圖與漢密爾頓圖
7-5 平面圖
7-6 對偶圖與著色
7-7 樹與生成樹
7-8 根樹及其應用
第五篇 計算機科學中的應用
第八章 形式語言與自動機
8-1 串和語言
8-2 形式文法
8-3 有限狀態自動機
8-4 兩類自動機的轉換
8-5 有限狀態機的簡化
8-6 有限狀態機與正則語言
第九章 糾錯碼初步
9-1 通訊模型和糾錯的基本概念
9-2 線性分組碼的糾錯能力
9-3 海明碼
9-4 查表譯碼法
符號表
附錄 名詞索引
參考文獻
展開全部
離散數學 作者簡介
左孝凌，教授，上海交通大學任教。上海人。著有《計算機軟件基礎教程》、《離散數學─理論、分析、題解》等，譯有《組合理論的基本方法》、《邏輯設計的問題和解》等。
書友推薦
- >
隨園食單
- >
月亮與六便士
- >
我與地壇
- >
伯納黛特,你要去哪(2021新版)
- >
伊索寓言-世界文學名著典藏-全譯本
- >
朝聞道
- >
回憶愛瑪儂
- >
經典常談
本類暢銷
