《高等院校計算機教材系列：離散數(shù)學》由四篇組成。第一篇數(shù)理邏輯，內(nèi)容有：命題邏輯，一階邏輯。第二篇集合論，內(nèi)容有：集合的基本概念和運算，關(guān)系和函數(shù)。第三篇代數(shù)系統(tǒng)，內(nèi)容有：代數(shù)系統(tǒng)概述，幾種典型的代數(shù)系統(tǒng)。第四篇圖論，內(nèi)容有：圖的基本概念，樹，幾類特殊圖。
《高等院校計算機教材系列：離散數(shù)學》包括了離散數(shù)學各部分的基本內(nèi)容，及其在計算機科學及實際問題中的某些應(yīng)用。本書概念清晰，敘述嚴謹精煉，語言通俗易懂，例題講解詳細，并有大量習題，便于讀者自學。
本書不僅可以作為高等院校計算機專業(yè)本科生教材，也可以作為各類高等�？茖W校、職工大學、職業(yè)大學、夜大以及函授大學等“離散數(shù)學”課程教材與教學參考書。
《高等院校計算機教材系列：離散數(shù)學》全面而系統(tǒng)地介紹了離散數(shù)學的基本內(nèi)容，及其在計算機科學和實際問題中的某些應(yīng)用。全書內(nèi)容分為數(shù)理邏輯、集合論、代數(shù)系統(tǒng)和圖論四部分，每部分獨立成篇又互相聯(lián)系。本書著重于基本概念的闡述和應(yīng)用，而不著重于定理的證明。 本書特點： 每篇都概括地敘述了本部分的發(fā)展簡史及其主要研究領(lǐng)域，以加深讀者對所學知識的理解。通過大量的實例，清晰地闡述基本概念和基本理論，引導(dǎo)讀者靈活運用所學知識。 每章后附有大量的習題，并有配套的習題解析——《離散數(shù)學習題與解析》。
教學建議
第一篇 數(shù)理邏輯
第1章 命題邏輯
1.1 命題與聯(lián)結(jié)詞
1.2 命題公式與賦值
1.3 等值演算
1.4 聯(lián)結(jié)詞的全功能集
1.5 范式
1.6 推理理論
習題
第2章 一階邏輯
2.1 一階邏輯的基本概念
2.2 一階語言及其解釋
2.3 等值演算
2.4 前束范式
2.5 推理理論
習題
第二篇 集合論
第3章 集合的基本概念和運算
3.1 集合的基本概念
3.2 集合的運算
3.3 有限集合的計數(shù)
習題
第4章 關(guān)系和函數(shù)
4.1 有序偶和笛卡兒積
4.2 關(guān)系的表示法以及關(guān)系的性質(zhì)
4.3 關(guān)系的運算
4.4 等價關(guān)系和劃分
4.5 偏序關(guān)系
4.6 函數(shù)的基本概念及性質(zhì)
4.7 函數(shù)的復(fù)合
4.8 反函數(shù)
4.9 集合的基數(shù)
習題
第三篇 代數(shù)系統(tǒng)
第5章 代數(shù)系統(tǒng)概述
5.1 二元運算及其性質(zhì)
5.2 代數(shù)系統(tǒng)
5.3 代數(shù)系統(tǒng)的同態(tài)和同構(gòu)
習題
第6章 幾種典型的代數(shù)系統(tǒng)
6.1 半群、幺半群和群
6.2 環(huán)和域
6.3 格和布爾代數(shù)
習題
第四篇 圖論
第7章 圖的基本概念
7.1 無向圖與有向圖
7.2 通路、回路、圖的連通性
7.3 帶權(quán)圖與最短通路
7.4 圖的矩陣表示
習題
第8章 樹
8.1 樹與生成樹
8.2 根樹及其應(yīng)用
習題
第9章 幾類特殊圖
9.1 歐拉圖與哈密頓圖
9.2 二部圖
9.3 平面圖
習題
索引
參考文獻
書單推薦
