離散數(shù)學(xué)及應(yīng)用學(xué)習(xí)指導(dǎo)與習(xí)題解析
定 價(jià):99 元
叢書名:“國(guó)家級(jí)一流本科課程”配套教材系列
- 作者:劉鐸
- 出版時(shí)間:2022/5/1
- ISBN:9787302592624
- 出 版 社:清華大學(xué)出版社
- 中圖法分類:O158
- 頁碼:
- 紙張:膠版紙
- 版次:
- 開本:16開
《離散數(shù)學(xué)及應(yīng)用》是一流本科課程離散數(shù)學(xué)[線上一流課程,主要開課平臺(tái)是愛課程(中國(guó)大學(xué)MOOC)]的指定教材,本書是該教材的配套學(xué)習(xí)用書,全書共10章,與《離散數(shù)學(xué)及應(yīng)用(第3版)》的結(jié)構(gòu)完全對(duì)應(yīng)。
本書給出了《離散數(shù)學(xué)及應(yīng)用(第3版)》中各章節(jié)習(xí)題的全部解答,同時(shí)提供了大量補(bǔ)充習(xí)題。此外,每章的開頭還提供了本章的知識(shí)結(jié)構(gòu)圖。本書有兩個(gè)附錄,分別是參考教學(xué)內(nèi)容與課時(shí)安排及課程綜合實(shí)驗(yàn),這些內(nèi)容可以看作對(duì)《離散數(shù)學(xué)及應(yīng)用(第3版)》的有益補(bǔ)充。
本書不僅適合作為高等院校計(jì)算機(jī)或軟件工程專業(yè)本科生或研究生相關(guān)課程教材,也可供其他專業(yè)學(xué)生和科技人員閱讀參考。
第1章基礎(chǔ)知識(shí)/1
1.1集合與序列2
1.1.1內(nèi)容提要2
1.1.2主教材習(xí)題參考解答4
1.2數(shù)論基礎(chǔ)10
1.2.1內(nèi)容提要10
1.2.2主教材習(xí)題參考解答12
1.3計(jì)數(shù)基礎(chǔ)16
1.3.1內(nèi)容提要16
1.3.2主教材習(xí)題參考解答19
1.4布爾矩陣及其運(yùn)算28
1.4.1內(nèi)容提要28
1.4.2主教材習(xí)題參考解答29
1.5補(bǔ)充習(xí)題及參考解答30
第2章命題邏輯/55
2.1命題邏輯的基本概念56
2.1.1內(nèi)容提要56
2.1.2主教材習(xí)題參考解答56
2.2命題公式及其分類58
2.2.1內(nèi)容提要58
2.2.2主教材習(xí)題參考解答59
2.3命題邏輯的等值演算61
2.3.1內(nèi)容提要61
2.3.2主教材習(xí)題參考解答62
2.4對(duì)偶與范式62
2.4.1內(nèi)容提要62
2.4.2主教材習(xí)題參考解答65
2.5命題聯(lián)結(jié)詞的完備集67
2.5.1內(nèi)容提要67
2.5.2主教材習(xí)題參考解答68
2.6命題邏輯的推理69
2.6.1內(nèi)容提要69
2.6.2主教材習(xí)題參考解答70
2.7補(bǔ)充習(xí)題及參考解答75
〖1〗離散數(shù)學(xué)及應(yīng)用學(xué)習(xí)指導(dǎo)與習(xí)題解析目錄〖3〗〖3〗第3章謂詞邏輯/91
3.1謂詞與量詞92
3.1.1內(nèi)容提要92
3.1.2主教材習(xí)題參考解答93
3.2謂詞公式及分類94
3.2.1內(nèi)容提要94
3.2.2主教材習(xí)題參考解答95
3.3自然語言形式化96
3.3.1內(nèi)容提要96
3.3.2主教材習(xí)題參考解答96
3.4謂詞邏輯的等值演算98