出版時間:2011-8 出版社:西北工業(yè)大學出版社 作者:王忠義,劉曉莉 編 頁數(shù):238
內(nèi)容概要
本書主要介紹4部分內(nèi)容:集合論、數(shù)理邏輯、圖論和代數(shù)系統(tǒng).集合論包括集合論基礎知識、二元關系和函數(shù),數(shù)理邏輯包括命題邏輯和謂詞邏輯,圖論包括圖論基礎和特殊的圖,代數(shù)系統(tǒng)包括代數(shù)結構、格與布爾代數(shù).每章均介紹相應的一些應用實例,并配有適量的習題.
本書注重理論的嚴密性與實踐的可操作性的有機結合,適合作為應用數(shù)學和信息類專業(yè)“離散數(shù)學”課程的教材,也可作為計算機應用相關專業(yè)的學習者和科研人員的參考書.
書籍目錄
第1部分 集合論
第1章 集合論基礎知識
1.1 集合的概念
1.2 集合的運算與文氏圖
1.3 遞歸定義與自然數(shù)
1.4 計數(shù)問題
1.5 應用實例
習題1
第2章 二元關系
2.1 序偶和笛卡爾乘積
2.2 關系及其特性
2.3 關系的集合運算
2.4 關系的閉包運算
2.5 集合的劃分與等價關系
2.6 偏序關系
2.7 相容關系與覆蓋
2.8 應用實例
習題2
第3章 函數(shù)
3.1 函數(shù)及特殊函數(shù)類
3.2 逆函數(shù)和復合函數(shù)
3.3 可數(shù)集與不可數(shù)集
3.4 應用實例
習題3
第2部分 數(shù)理邏輯
第4章 命題邏輯
4.1 命題與命題聯(lián)結詞
……
第3部分 圖論
第4部分 代數(shù)系統(tǒng)
參考文獻
圖書封面
評論、評分、閱讀與下載