離散數(shù)學(xué)及應(yīng)用(第3版)
定 價(jià):69 元
叢書名:“國(guó)家級(jí)一流本科課程”配套教材系列
- 作者:劉鐸
- 出版時(shí)間:2022/5/1
- ISBN:9787302592693
- 出 版 社:清華大學(xué)出版社
- 中圖法分類:O158
- 頁碼:
- 紙張:膠版紙
- 版次:
- 開本:16開
離散數(shù)學(xué)是現(xiàn)代數(shù)學(xué)的重要分支,是計(jì)算機(jī)專業(yè)和軟件工程專業(yè)的基礎(chǔ)主干課程,是進(jìn)一步學(xué)習(xí)后續(xù)課程以及進(jìn)行研究和開發(fā)的基礎(chǔ)。本書根據(jù)作者多年教學(xué)經(jīng)驗(yàn)編寫而成,著重講解離散數(shù)學(xué)的基本概念、基本方法及其應(yīng)用,給出了大量的典型例題和習(xí)題以及若干綜合專題及應(yīng)用案例。全書共10章,內(nèi)容包括樸素集合論、數(shù)論基礎(chǔ)、計(jì)數(shù)基礎(chǔ)、命題邏輯、謂詞邏輯、二元關(guān)系、函數(shù)、偏序關(guān)系與格、代數(shù)結(jié)構(gòu)、圖論、樹、形式語言、自動(dòng)機(jī)與正則表達(dá)式。附錄給出了離散數(shù)學(xué)綜合性研討專題。
本書結(jié)構(gòu)緊湊,內(nèi)容精練,體系嚴(yán)謹(jǐn),語言流暢,講解詳細(xì),可作為高等學(xué)校計(jì)算機(jī)和軟件工程專業(yè)本科生和研究生的離散數(shù)學(xué)課程教材,也可供其他專業(yè)學(xué)生和科技人員閱讀參考。
第1章基礎(chǔ)知識(shí)/1
1.1集合與序列1
1.1.1集合的基本概念1
1.1.2集合的運(yùn)算及性質(zhì)4
1.1.3序列7
習(xí)題1.18
1.2數(shù)論基礎(chǔ)10
習(xí)題1.214
1.3計(jì)數(shù)基礎(chǔ)16
1.3.1加法法則與乘法法則16
1.3.2排列與組合17
1.3.3鴿巢原理23
1.3.4有限集合的計(jì)數(shù)容斥原理26
1.3.5遞推關(guān)系29
習(xí)題1.333
1.4布爾矩陣及其運(yùn)算37
習(xí)題1.439
擴(kuò)展閱讀39
第2章命題邏輯/41
2.1命題邏輯的基本概念42
習(xí)題2.146
2.2命題公式及其分類47
習(xí)題2.250
2.3命題邏輯的等值演算51
習(xí)題2.356
2.4對(duì)偶與范式57
2.4.1對(duì)偶57
2.4.2析取范式與合取范式58
2.4.3主范式60離散數(shù)學(xué)及應(yīng)用(第3版)目錄習(xí)題2.466
2.5命題聯(lián)結(jié)詞的完備集68
習(xí)題2.569
2.6命題邏輯的推理69
習(xí)題2.676
擴(kuò)展閱讀77
第3章謂詞邏輯/79
3.1謂詞與量詞80
3.1.1謂詞80
3.1.2量詞81
習(xí)題3.182
3.2謂詞公式及分類82
習(xí)題3.285
3.3自然語言形式化85
習(xí)題3.388
3.4謂詞邏輯的等值演算89
習(xí)題3.494
3.5前束范式94
習(xí)題3.596
3.6謂詞邏輯的推理96
習(xí)題3.6103
擴(kuò)展閱讀104
第4章二元關(guān)系/107
4.1關(guān)系及其表示107
4.1.1有序?qū)εc笛卡兒積107
4.1.2二元關(guān)系的定義109