編輯推薦
《高等院校計算機教材係列:離散數學》全麵而係統地介紹瞭離散數學的基本內容,及其在計算機科學和實際問題中的某些應用。全書內容分為數理邏輯、集閤論、代數係統和圖論四部分,每部分獨立成篇又互相聯係。本書著重於基本概念的闡述和應用,而不著重於定理的證明。
本書特點:
每篇都概括地敘述瞭本部分的發展簡史及其主要研究領域,以加深讀者對所學知識的理解。通過大量的實例,清晰地闡述基本概念和基本理論,引導讀者靈活運用所學知識。
每章後附有大量的習題,並有配套的習題解析——《離散數學習題與解析》。
內容簡介
《高等院校計算機教材係列:離散數學》由四篇組成。第一篇數理邏輯,內容有:命題邏輯,一階邏輯。第二篇集閤論,內容有:集閤的基本概念和運算,關係和函數。第三篇代數係統,內容有:代數係統概述,幾種典型的代數係統。第四篇圖論,內容有:圖的基本概念,樹,幾類特殊圖。
《高等院校計算機教材係列:離散數學》包括瞭離散數學各部分的基本內容,及其在計算機科學及實際問題中的某些應用。本書概念清晰,敘述嚴謹精煉,語言通俗易懂,例題講解詳細,並有大量習題,便於讀者自學。
本書不僅可以作為高等院校計算機專業本科生教材,也可以作為各類高等專科學校、職工大學、職業大學、夜大以及函授大學等“離散數學”課程教材與教學參考書。
內頁插圖
目錄
教學建議
第一篇 數理邏輯
第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 平麵圖
習題
索引
參考文獻
前言/序言
高等院校計算機教材係列:離散數學 下載 mobi epub pdf txt 電子書