123,123

內(nèi)容簡(jiǎn)介

　　本書共分8章，分別為命題邏輯、一階邏輯、集合、二元關(guān)系和函數(shù)、代數(shù)系統(tǒng)、格與布爾代數(shù)、圖論和樹.在結(jié)構(gòu)體系上，本書首先介紹數(shù)理邏輯及集合相關(guān)內(nèi)容；其次介紹關(guān)系及代數(shù)系統(tǒng)；最后介紹圖論與樹的相關(guān)知識(shí)及應(yīng)用.每一章的內(nèi)容介紹之后都選配了適量的習(xí)題，做到少而精，注意突出重點(diǎn).便于學(xué)生理解和掌握抽象理論和方法. 本書不僅可作為高等院校數(shù)學(xué)、計(jì)算機(jī)科學(xué)與技術(shù)及相關(guān)專業(yè)的教材，也可作為從事計(jì)算機(jī)工作的相關(guān)人員的參考書.

作者簡(jiǎn)介

暫缺《離散數(shù)學(xué)》作者簡(jiǎn)介

圖書目錄

1.1命題與聯(lián)結(jié)詞1
1.1.1命題與真值1
1.1.2命題聯(lián)結(jié)詞2
1.2命題公式及其解釋6
1.2.1命題公式6
1.2.2命題的符號(hào)化7
1.2.3公式的賦值及真值表8
1.3命題公式的等值演算10
1.3.1命題公式的等值式10
1.3.2代入規(guī)則與替換規(guī)則11
1.4范式13
1.4.1合取范式與析取范式13
1.4.2主范式15
1.5聯(lián)結(jié)詞完備集18
1.6命題演算的推理理論20
1.7自然推理系統(tǒng)N中的形式證明22
習(xí)題127
第2章一階邏輯30
2.1一階邏輯基本概念30
2.2一階邏輯公式及解釋33
2.3一階邏輯等值式與置換規(guī)則36
2.4一階邏輯前束范式39
2.5一階邏輯的推理理論40
習(xí)題246
第3章集合49
3.1集合的基本概念49
3.2集合的基本運(yùn)算50[3]目錄[3][1]目錄[3]3.3集合中元素的計(jì)數(shù)51
習(xí)題353
第4章二元關(guān)系和函數(shù)54
4.1集合的笛卡兒積與二元關(guān)系54
4.2關(guān)系的運(yùn)算57
4.3關(guān)系的性質(zhì)63
4.4關(guān)系的閉包68
4.5等價(jià)關(guān)系與偏序關(guān)系74
4.6函數(shù)的定義和性質(zhì)79
4.7函數(shù)的復(fù)合與反函數(shù)82
習(xí)題485
第5章代數(shù)系統(tǒng)88
5.1二元運(yùn)算及其性質(zhì)88
5.2代數(shù)系統(tǒng)94
5.3代數(shù)系統(tǒng)的同態(tài)與同構(gòu)96
習(xí)題598
第6章格與布爾代數(shù)100
6.1格的定義與性質(zhì)100
6.2分配格與有補(bǔ)格105
6.3布爾代數(shù)111
習(xí)題6114
第7章圖論116
7.1圖的基本概念116
7.2通路、回路和圖的連通性123
7.3圖的矩陣表示128
7.4歐拉圖131
7.5哈密頓圖135
7.6應(yīng)用舉例139
習(xí)題7142
第8章樹144
8.1無向樹及生成樹144
8.2根樹及其應(yīng)用148
習(xí)題8153