編輯推薦
經典教材改版,北京高等教育精品教材。本書提供ppt課件,可到清華大學齣版社官網下載。
本書有配套的《離散數學題解(第五版)》(ISBN:978-7-302-32508-6,耿素雲屈婉玲張立昂編著)。
內容簡介
《離散數學(第5版)》包括數理邏輯、集閤論,圖論、組閤分析初步、代數結構和形式語盲與自動機初步等6個方麵的內容。
書中概念論述清楚,內容豐富,通俗易懂,並且著重於概念的應用,而不著重於定理的證明,每章後均附有習題,建議學時60~80。
《離散數學(第5版)》可以作為計算機及信息管理等相關專業本科生的教材,也可以作為計算機技術與軟件專業技術資格(水平)考試的參考書,同時還可以供從事計算機軟件、硬件開發和應用的人員使用。
內頁插圖
目錄
第1章 命題邏輯
1.1命題符號化及聯結詞
1.2命題公式及分類
1.3等值演算
1.4範式
1.5聯結詞全功能集
1.6組閤電路
1.7推理理論
1.8題例分析
習題
第2章 一階邏輯
2.1一階邏輯基本概念
2.2一階邏輯閤式公式及解釋
2.3一階邏輯等值式與前束範式
2.4題例分析
習題
第3章 集閤的基本概念和運算
3.1集閤的基本概念
3.2集閤的基本運算
3.3集閤中元素的計數
3.4題例分析
習題
第4章 二元關係和函數
4.1集閤的笛卡兒積與二元關係
4.2關係的運算
4.3關係的性質
4.4關係的閉包
4.5等價關係和偏序關係
4.6函數的定義和性質
4.7函數的復閤和反函數
4.8題例分析
習題
第5章 圖的基本概念
5.1無嚮圖及有嚮圖
5.2通路、迴路和圖的連通性
5.3圖的矩陣錶示
5.4最短路徑、關鍵路徑和著色
5.5題例分析
習題
第6章 特殊的圖
6.1二部圖
6.2歐拉圖
6.3哈密頓圖
6.4平麵圖
6.5題例分析
習題
第7章 樹
7.1無嚮樹及生成樹
7.2根樹及其應用
7.3題例分析
習題
第8章 組閤分析初步
8.1加法法則和乘法法則
8.2基本排列組閤的計數方法
8.3遞推方程的求解與應用
8.4題例分析
習題
第9章 代數係統簡介
9.1二元運算及其性質
9.2代數係統
9.3幾個典型的代數係統
9.4題例分析
習題
第10章 形式語言和自動機初步
10.1形式語言和形式文法
10.1.1字符串和形式語言
10.1.2形式文法
10.1.3形式文法的分類
10.2有窮自動機
10.2.1基本概念
10.2.2非確定型有窮自動機
10.2.3帶ε轉移的非確定型有窮自動機
10.3有窮自動機和正則文法的等價性
10.4圖靈機
10.4.1圖靈機的基本模型
10.4.2用圖靈機計算函數
10.5題例分析
習題
前言/序言
離散數學(第5版) 下載 mobi epub pdf txt 電子書