離散數學(金聰、郭金蕾編著書籍)

書籍信息

作者：金聰、郭金蕾
定價：25元
印次：1-2
ISBN：9787302204046
出版日期：2010.01.01
印刷日期：2011.07.04

內容簡介

本書以詳盡和豐富的資料，全面介紹計算機科學與技術及相關專業所必需的離散數學知識。本書分為4篇。第1篇為數理邏輯，包括命題邏輯和謂詞邏輯。第2篇為集合論，包括集合的概念和基本運算、關係和函式。第3篇是代數系統，包括代數系統一般性質和典型的代數系統。第4篇是圖論，包括圖的基本概念、歐拉圖和哈密頓圖及特殊圖。各篇相對獨立而又有機聯繫，講解與證明力求嚴格完整。書中的例題、習題具有一定的典型性，內容深入淺出、通俗易懂，理論上具有完整性和系統性，易於教學，便於自學。本書適合於不同層次和領域的學生及研究人員，可以作為高等院校計算機科學與技術及相關專業本科生和研究生的教材或教學輔導書目，也可以作為考研和相關專業技術人員的參考書。

圖書目錄

第1篇數理邏輯

第1章命題邏輯

1.1命題與連線詞

1.1.1命題的概念

1.1.2邏輯連線詞

1.2命題公式及命題公式的翻譯

1.2.1命題公式

1.2.2命題的翻譯

1.2.3命題公式的解釋

1.3等價公式及公式的分類

1.3.1等價公式的定義和性質

1.3.2基本等價公式

1.3.3置換規則

1.3.4公式的分類

1.4蘊含式與對偶式

1.4.1蘊含式

1.4.2對偶式

1.5其他連線詞與最小連線詞組

1.5.1其他連線詞

1.5.2最小連線詞組

1.6範式

1.6.1簡單合取式與簡單析取式

1.6.2公式的範式

1.7公式的主範式

1.7.1主析取範式

1.7.2主合取範式

1.7.3主析取範式與主合取範式之間的關係

1.7.4主範式的套用

1.8推理理論

1.8.1有效論證

1.8.2推理方法

習題

第2章謂詞邏輯

2.1謂詞邏輯的基本概念

2.1.1個體、謂詞

2.1.2命題函式

2.1.3量詞

2.2謂詞公式與翻譯

2.2.1謂詞公式

2.2.2謂詞公式的翻譯

2.3約束變元與自由變元

2.4謂詞演算的等價式及蘊含式

2.4.1量詞的轉換律

2.4.2量詞轄域的擴張律與收縮律

2.4.3量詞的分配律

2.4.4多個量詞的使用

2.5前束範式

2.6謂詞演算的推理理論

2.6.1推理規則

離散數學(金聰、郭金蕾編著書籍)

基本介紹

書籍信息

內容簡介

圖書目錄

相關詞條

熱門詞條