出版時(shí)間:2012-8 出版社:遼寧科學(xué)技術(shù)出版社 作者:張振琳 主編 頁數(shù):154 字?jǐn)?shù):210000
內(nèi)容概要
本書整體上包括數(shù)理邏輯、集合論、代數(shù)結(jié)構(gòu)、圖論等四方面的內(nèi)容,具體包括命題邏輯、謂詞邏輯、集合論、二元關(guān)系、函數(shù)、代數(shù)系統(tǒng)、群、環(huán)、域、格與布爾代數(shù)、圖的基本概念、歐拉圖、哈密爾頓圖、樹等內(nèi)容。全書充分考慮應(yīng)用性本科學(xué)生培養(yǎng)目標(biāo)和教學(xué)特點(diǎn),注重基本概念的同時(shí),對(duì)于一些代表性題目給出了分析解題的過程。
書籍目錄
第1章命題邏輯1
1.1 命題和連接詞1
1.2 命題公式和真值表5
1.3 等值演算9
1.4 連接詞的全功能集12
1.5 命題公式的范式14
1.6 命題邏輯的推理理論22
1.7 習(xí)題28
第2章一階邏輯31
2.1 基本概念31
2.2 一階邏輯公式及其解釋34
2.3 一階邏輯等值式與前束范式38
2.4 一階邏輯推理理論41
2.5 習(xí)題44
第3章集合46
3.1 集合的基本概念46
3.2 集合的運(yùn)算48
3.3 集合恒等式50
3.4 習(xí)題53
第4章二元關(guān)系56
4.1 有序?qū)偷芽柍朔e56
4.2 二元關(guān)系57
4.3 關(guān)系圖和關(guān)系矩陣58
4.4 關(guān)系的運(yùn)算59
4.5 關(guān)系的性質(zhì)63
4.6 關(guān)系的閉包67
4.7 等價(jià)關(guān)系和劃分71
4.8 相容關(guān)系和覆蓋73
4.9 序關(guān)系74
4.10 習(xí)題77
第5章函數(shù)80
5.1 函數(shù)的定義和性質(zhì)80
5.2 復(fù)合函數(shù)與逆函數(shù)82
5.3 逆函數(shù)83
5.4 習(xí)題84
第6章代數(shù)系統(tǒng)86
6.1 二元運(yùn)算及其性質(zhì)86
6.2 代數(shù)系統(tǒng)90
6.3 代數(shù)系統(tǒng)的同態(tài)和同構(gòu)92
6.4 半群和獨(dú)異點(diǎn)93
6.5 群95
6.6 子群99
6.7 循環(huán)群101
6.8 置換群103
6.9 陪集105
6.10 環(huán)和域106
6.11 習(xí)題109
第7章格與布爾代數(shù)112
7.1 格的概念112
7.2 分配格115
7.3 布爾代數(shù)118
7.4 習(xí)題120
第8章圖論121
8.1 圖的基本概念121
8.2 路與回路127
8.3 圖的連通性128
8.4 圖的矩陣的表示131
8.5 歐拉圖與哈密爾頓圖135
8.6 平面圖137
8.7 最短路徑和關(guān)鍵路徑139
8.8 樹與生成樹143
8.9 根樹及其應(yīng)用147
8.10 習(xí)題152
圖書封面
評(píng)論、評(píng)分、閱讀與下載