離散結構(北京航空航天大學出版社出版書籍)

編輯推薦

《離散結構》是根據國內《離散數學教學大綱》並參考美國CC2004計算機工程課程體系的“離散數學”教學要求而編寫的，既凝聚了作者20多年的教學經驗，也吸取了國內外數十本相關著作的精華。全書共8章，包括命題邏輯、一階邏輯、集合、關係、函式、計數初步、圖論、樹。每章後面配有難易不等的習題，可供教學選用。最後配有部分習題的提示與解答。《離散結構》可作為高等院校、計算機科學與技術、套用數學、自動控制、電子工程、信息科學及相關專業的本科生的教材，也可供相關專業的工程技術人員參考。《離散結構》備有電子課件，供教師參考，如需要，向本社發行部索取。

內容簡介

《大學本科教材·計算機教學叢書：離散結構》是根據國內《離散數學教學大綱》並參考美國CC2004計算機工程課程體系的“離散數學”教學要求而編寫的，既凝聚了作者20多年的教學經驗，也吸取了國內外數十本相關著作的精華。
全書共8章，包括命題邏輯、一階邏輯、集合、關係、函式、計數初步、圖論、樹。每章後面配有難易不等的習題，可供教學選用。最後配有部分習題的提示與解答。
《大學本科教材·計算機教學叢書：離散結構》可作為高等院校，計算機科學與技術、套用數學、自動控制、電子工程、信息科學及相關專業的本科生的教材，也可供相關專業的工程技術人員參考。

第1章命題邏輯
1.1 命題和邏輯運算
1.1.1 命題
1.1.2 邏輯聯結詞和複合命題
1.2 合式公式
1.2.1 語法
1.2.2 語義（semantics）
1.3 邏輯等價
1.4 範式
1.4.1 析取範式
1.4.2 合取範式
1.4.3 用等價替換方法構造主範式
1.5 聯結詞的完備集及套用
1.5.1 聯結詞的完備集
1.5.2 一些計算機套用
1.6 蘊涵和演繹
1.7 本章小結
習題
第2章一階邏輯
2.1 謂詞和量詞
2.1.1 謂詞
2.1.2 量詞
2.2 合式公式
2.2.1 語法
2.2.2 語義
2.3 邏輯等價和蘊涵
2.4 範式
2.5 數學歸納法
25.1 歸納推理和演繹推理
2.5.2 數學歸納法
2.5.3 數學歸納法的套用
2.6 本章小結
習題
第3章集合
3.1 集合及子集
3.1.1 集合及其表示
3.1.2 子集
3.1.3 冪集
3.1.4 多重集合
3.2 集合上的運算
3.2.1 集合的並
3.2.2 集合的交
3.2.3 集合的差
3.2.4 集合的對稱差
3.3 集合的笛卡兒乘積
3.3.1 有序對
3.3.2 集合的笛卡兒乘積
3.4 本章小結
習題
第4章關係
4.1 關係的基本概念
4.1.1 二元關係的定義
4.1.2 關係矩陣
4.1.3 關係圖
4.1.4 n元關係及其套用
4.2 複合關係和逆關係
4.2.1 複合關係
4.2.2 逆關係
4.3 關係的性質
4.4 等價關係和集合的劃分
4.4.1 等價關係
4.4.2 集合·的劃分
4.5 關係的閉包
4.6 本章小結
習題
第5章函式
5.1 函式的基本概念
5.2 特殊函式
5.3 函式的運算
5.4 一些常見的函式
5.5 本章小結
習題
……
第6章計數初步
第7章圖論
第8章樹
部分習題的提示與解答
參考文獻

離散結構(北京航空航天大學出版社出版書籍)

基本介紹

編輯推薦

內容簡介

目錄

相關詞條

熱門詞條