內容提要
本書主要介紹4部分內容:集合論、數理邏輯、圖論和代數系統.集合論包括集合論基礎知識、二元關係和函式,數理邏輯包括命題邏輯和謂詞邏輯,圖論包括圖論基礎和特殊的圖,代數系統包括代數結構、格與布爾代數.每章均介紹相應的一些套用實例,並配有適量的習題.
本書注重理論的嚴密性與實踐的可操作性的有機結合,適合作為套用數學和信息類專業“離散數學”課程的教材,也可作為計算機套用相關專業的學習者和科研人員的參考書.
圖書信息
定 價:¥30.00
目錄
第1部分 集合論
第1章 集合論基礎知識
1.1 集合的概念
1.2 集合的運算與文氏圖
1.3 遞歸定義與自然數
1.4 計數問題
1.5 套用實例
習題1
第2章 二元關係
2.1 序偶和笛卡爾乘積
2.2 關係及其特性
2.3 關係的集合運算
2.4 關係的閉包運算
2.5 集合的劃分與等價關係
2.6 偏序關係