離散數學導學

合取運算符 集合論 集合

圖書信息

出版社: 機械工業出版社; 第1版 (2005年5月1日)
叢書名: 計算機科學叢書
平裝: 228頁
開本: 16開
ISBN: 7111153960
條形碼: 9787111153962
尺寸: 25.6 x 18.2 x 1 cm
重量: 340 g

作者簡介

作者:(英國)辛普森 譯者:馮速
Andrew Simpson目前任教於牛津大學,擔任軟體工程項目主任。他擁有牛津大學的計算機專業碩士和博士學位。他曾在牛津大學、牛津魯斯金等學院和北倫敦大學講授各種層次離散數學課程,擁有豐富的教學經驗和理論知識,以在教學中善於結合實際需求著稱。

內容簡介

本書通過大量簡單易懂的示例和練習介紹了有關離散數學的基本概念與基礎知識,並把理論知識與一系列實際套用聯繫起來。主要內容包括:命題邏輯和謂詞邏輯、類型集合論、布爾代數、關係、函式、序列、歸納法、圖論、組合數學等。通過適當的教學方法,可以加深學生對離散數學的理解。
本書適合所有學習離散數學的學生,並可作為相關專業的教材。

目錄

出版者的話
專家指志委員會
譯者序
第1章 導論
1.1 學習動機
1.2 教材內容
1.3 組織結構
第2章 數
2.1 自然數
2.2 Peano算術
2.3 其他類型的數
2.4 附加練習
2.5 練習解答
第3章 命題邏輯
3.1 原子命題
3.2 真值
3.3 否定運算符
3.4 合取運算符
3.5 析取運算符
3.6 蘊合運算符
3.7 等值運算符
3.8 運算的優先權
3.9 重言式、矛盾式和不定式
3.10 真值表
3.11 等值推理
3.12 自然演繹
3.13 附加練習
3.14 練習解答
第4章 集合論
4.1 集合
4.2 單集
4.3 空集
4.4 集合成員
4.5 子集
4.6 超集
4.7 集合的並集
4.8 集合的交集
4.9 集合的差集
4.10 有關集合的推理
……
第5章 布爾代數
第6章 類型集合論
第7章 謂詞邏輯
第8章 關係
第9章 函式
第10章 序列
第11章 歸納法
第12章 圖論
第13章 組合數學
第14章 套用實例
參考文獻

相關詞條

熱門詞條

聯絡我們