《高等院校計算機教材系列:離散數學》由四篇組成，第一篇數理邏輯，內容有：命題邏輯，一階邏輯。第二篇集合論，內容有：集合的基本概念和運算，關係和函式。第三篇代數系統，內容有：代數系統概述，幾種典型的代數系統。第四篇圖論，內容有：圖的基本概念，樹，幾類特殊圖。《高等院校計算機教材系列:離散數學》包括了離散數學各部分的基本內容，及其在計算機科學及實際問題中的某些套用。
基本介紹
- 書名：高等院校計算機教材系列:離散數學
- 作者：檀鳳琴 何自強
- 出版日期：2012年3月1日
- 語種：簡體中文
- ISBN：9787111367499, 7111367499
- 外文名：Discrete Mathematics
- 出版社：機械工業出版社
- 頁數：178頁
- 開本：16
- 品牌：機械工業出版社
內容簡介,圖書目錄,
內容簡介
《高等院校計算機教材系列:離散數學》全面而系統地介紹了離散數學的基本內容，及其在計算機科學和實際問題中的某些套用。全書內容分為數理邏輯、集合論、代數系統和圖論四部分，每部分獨立成篇又互相聯繫。《高等院校計算機教材系列:離散數學》概念清晰，敘述嚴謹精煉，語言通俗易懂，例題講解詳細，並有大量習題，著重於基本概念的闡述和套用，而不著重於定理的證明，便於讀者自學。
《高等院校計算機教材系列:離散數學》不僅可以作為高等院校計算機專業本科生教材，也可以作為各類高等專科學校、職工大學、職業大學、夜大以及函授大學等“離散數學”課程教材與教學參考書。
《高等院校計算機教材系列:離散數學》不僅可以作為高等院校計算機專業本科生教材，也可以作為各類高等專科學校、職工大學、職業大學、夜大以及函授大學等“離散數學”課程教材與教學參考書。
圖書目錄
前言
教學建議
第一篇 數理邏輯
第1章命題邏輯
1.1 命題與聯結詞
1.2 命題公式與賦值
1.3 等值演算
1.4 聯結詞的全功能集
1.5 範式
1.6 推理理論
習題
第2章 一階邏輯
2.1 一階邏輯的基本概念
2.2 一階語言及其解釋
2.3 等值演算
2.4 前束範式
2.5 推理理論
習題
第二篇 集合論
第3章 集合的基本概念和運算
3.1 集合的基本概念
3.2 集合的運算
3.3 有限集合的計數
習題
第4章 關係和函式
4.1 有序偶和笛卡兒積
4.2 關係的表示法以及關係的性質
4.3 關係的運算
4.4 等價關係和劃分
4.5 偏序關係
4.6 函式的基本概念及性質
4.7 函式的複合
4.8 反函式
4.9 集合的基數
習題
第三篇 代數系統
第5章 代數系統概述
5.1 二元運算及其性質
5.2 代數系統
5.3 代數系統的同態和同構
習題
第6章 幾種典型的代數系統
6.1 半群、么半群和群
6.2 環和域
6.3 格和布爾代數
習題
第四篇 圖論
第7章 圖的基本概念
7.1 無向圖與有向圖
7.2 通路、迴路、圖的連通性
7.3 帶權圖與最短通路
7.4 圖的矩陣表示
習題
第8章 樹
8.1 樹與生成樹
8.2 根樹及其套用
習題
第9章 幾類特殊圖
9.1 歐拉圖與哈密頓圖
9.2 二部圖
9.3 平面圖
習題
索引
參考文獻
教學建議
第一篇 數理邏輯
第1章命題邏輯
1.1 命題與聯結詞
1.2 命題公式與賦值
1.3 等值演算
1.4 聯結詞的全功能集
1.5 範式
1.6 推理理論
習題
第2章 一階邏輯
2.1 一階邏輯的基本概念
2.2 一階語言及其解釋
2.3 等值演算
2.4 前束範式
2.5 推理理論
習題
第二篇 集合論
第3章 集合的基本概念和運算
3.1 集合的基本概念
3.2 集合的運算
3.3 有限集合的計數
習題
第4章 關係和函式
4.1 有序偶和笛卡兒積
4.2 關係的表示法以及關係的性質
4.3 關係的運算
4.4 等價關係和劃分
4.5 偏序關係
4.6 函式的基本概念及性質
4.7 函式的複合
4.8 反函式
4.9 集合的基數
習題
第三篇 代數系統
第5章 代數系統概述
5.1 二元運算及其性質
5.2 代數系統
5.3 代數系統的同態和同構
習題
第6章 幾種典型的代數系統
6.1 半群、么半群和群
6.2 環和域
6.3 格和布爾代數
習題
第四篇 圖論
第7章 圖的基本概念
7.1 無向圖與有向圖
7.2 通路、迴路、圖的連通性
7.3 帶權圖與最短通路
7.4 圖的矩陣表示
習題
第8章 樹
8.1 樹與生成樹
8.2 根樹及其套用
習題
第9章 幾類特殊圖
9.1 歐拉圖與哈密頓圖
9.2 二部圖
9.3 平面圖
習題
索引
參考文獻
