怎么判有補格和分配格 離散數(shù)學(xué)的目錄

離散數(shù)學(xué)，如何根據(jù)哈斯圖判斷是否是格？離散數(shù)學(xué)的目錄，離散數(shù)學(xué)的目錄，離散數(shù)學(xué)的目錄，離散數(shù)學(xué)的目錄，離散數(shù)學(xué)教程的圖書信息。

本文導(dǎo)航

• 離散數(shù)學(xué)，如何根據(jù)哈斯圖判斷是否是格？
• 離散數(shù)學(xué)的目錄
• 離散數(shù)學(xué)的目錄
• 離散數(shù)學(xué)的目錄
• 離散數(shù)學(xué)的目錄
• 離散數(shù)學(xué)教程的圖書信息

離散數(shù)學(xué)，如何根據(jù)哈斯圖判斷是否是格？

哈斯圖中，選任何子集，判斷是否一定有最大下界和最大上界

如果符合這個性質(zhì)，那就是格，否則就不是。

另外，哈斯圖長得像網(wǎng)格（不要有斷開的線），就一般是哈斯圖，這個依據(jù)不嚴(yán)謹(jǐn)，但好懂一些。

離散數(shù)學(xué)的目錄

第1章 命題邏輯1.1 命題及聯(lián)結(jié)詞1.1.1 命題的基本概念1.1.2 命題聯(lián)結(jié)詞1.2 命題公式與翻譯1.3 真值表和等價公式1.3.1 命題公式的真值表1.3.2 命題公式的等價1.4 重言式1.5 范式1.5.1 析取范式與合取范式1.5.2 主析取范式1.5.3 主合取范式1.6 全功能聯(lián)結(jié)詞集1.7 對偶式與蘊含式1.7.1 對偶式1.7.2 蘊含式1.8 命題邏輯的推理理論第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.5 謂詞邏輯的推理理論第3章 集合3.1 集合的基本概念3.1.1 集合的表示法3.1.2 子集和集合的相等3.1.3 冪集合3.2 集合的運算3.3 集合恒等式3.4 集合的覆蓋與劃分3.5 笛卡兒積第4章 二元關(guān)系4.l 二元關(guān)系及其表示4.1.1 二元關(guān)系的概念4.1.2 二元關(guān)系的表示方法4.2 關(guān)系的運算4.2.1 二元關(guān)系的交、并、補、對稱差運算4.2.2 二元關(guān)系的復(fù)合運算4.2.3 元關(guān)系的求逆運算4.3 關(guān)系的性質(zhì)4.4 關(guān)系的閉包運算4.5 等價關(guān)系4.6 相容關(guān)系4.7 序關(guān)系4.7.1 偏序關(guān)系與哈斯圖4.7.2 全序關(guān)系與良序關(guān)系第5章 函數(shù)5.1 函數(shù)的基本概念5.2 反函數(shù)和復(fù)合函數(shù)5.2.1 反函數(shù)5.2.2 復(fù)合函數(shù)5.3 集合的基數(shù)5.3.1 集合的等勢5.3.2 有限集和無限集5.3.3 集合的基數(shù)5.3.4 集合基數(shù)的比較第6章 代數(shù)系統(tǒng)6.1 代數(shù)系統(tǒng)的基本概念6.1.1 運算6.1.2 代數(shù)系統(tǒng)6.2 二元運算的性質(zhì)6.2.1 運算的基本性質(zhì)6.2.2 特殊元素6.3 子代數(shù)和積代數(shù)第7章 群、環(huán)和域7.1 半群和獨異點7.1.1 廣群和半群7.1.2 獨異點7.2 群與阿貝爾群7.2.1 群的定義和性質(zhì)7.2.2 阿貝爾群7.3 子群7.3.1 子群的概念7.3.2 子群的判定7.3.3 元素的階及其性質(zhì)7.4 陪集和拉格朗日定理7.5 正規(guī)子群7.6 同態(tài)和同構(gòu)7.6.1 代數(shù)系統(tǒng)的同態(tài)和同構(gòu)7.6.2 群的同態(tài)和同構(gòu)7.7 循環(huán)群7.8 置換群7.9 環(huán)與域7.9.1 環(huán)的定義及基本性質(zhì)7.9.2 幾個常見的特殊環(huán)7.9.3 子環(huán)7.9.4 域7.9.5 環(huán)和域的同態(tài)第8章 格與布爾代數(shù)8.1 格8.1.1 格的概念和性質(zhì)8.1.2 子格和格的同態(tài)8.1.3 分配格8.1.4 有補格8.2 布爾代數(shù)8.2.1 布爾代數(shù)的概念和性質(zhì)8.2.2 布爾代數(shù)的子代數(shù)和同態(tài)8.2.3 有限布爾代數(shù)的結(jié)構(gòu)第9章 圖論9.1 圖的基本概念9.1.1 圖9.1.2 節(jié)點的度及其性質(zhì)9.1.3 多重圖、簡單圖、完全圖和正則圖9.1.4 圖的同構(gòu)9.1.5 補圖、子圖和生成子圖9.2 路和回路9.3 連通圖9.3.1 無向連通圖9.3.2 有向連通圖9.4 圖的矩陣表示9.5 歐拉圖和漢密爾頓圖9.5.1 歐拉圖9.5.2 漢密爾頓圖9.6 樹9.6.1 無向樹9.6.2 生成樹9.6.3 根樹及其應(yīng)用9.7 二部圖及匹配9.7.1 部圖9.7.2 匹配9.8 平面圖9.8.1 平面圖的基本概念9.8.2 歐拉公式9.8.3 平面圖的對偶圖參考文獻(xiàn)

離散數(shù)學(xué)的目錄

第1章 命題邏輯1.1 命題及聯(lián)結(jié)詞1.1.1 命題的基本概念1.1.2 命題聯(lián)結(jié)詞1.2 命題公式與翻譯1.3 真值表和等價公式1.3.1 命題公式的真值表1.3.2 命題公式的等價1.4 重言式1.5 范式1.5.1 析取范式與合取范式1.5.2 主析取范式1.5.3 主合取范式1.6 全功能聯(lián)結(jié)詞集1.7 對偶式與蘊含式1.7.1 對偶式1.7.2 蘊含式1.8 命題邏輯的推理理論第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.5 謂詞邏輯的推理理論第3章 集合3.1 集合的基本概念3.1.1 集合的表示法3.1.2 子集和集合的相等3.1.3 冪集合3.2 集合的運算3.3 集合恒等式3.4 集合的覆蓋與劃分3.5 笛卡兒積第4章 二元關(guān)系4.l 二元關(guān)系及其表示4.1.1 二元關(guān)系的概念4.1.2 二元關(guān)系的表示方法4.2 關(guān)系的運算4.2.1 二元關(guān)系的交、并、補、對稱差運算4.2.2 二元關(guān)系的復(fù)合運算4.2.3 元關(guān)系的求逆運算4.3 關(guān)系的性質(zhì)4.4 關(guān)系的閉包運算4.5 等價關(guān)系4.6 相容關(guān)系4.7 序關(guān)系4.7.1 偏序關(guān)系與哈斯圖4.7.2 全序關(guān)系與良序關(guān)系第5章 函數(shù)5.1 函數(shù)的基本概念5.2 反函數(shù)和復(fù)合函數(shù)5.2.1 反函數(shù)5.2.2 復(fù)合函數(shù)5.3 集合的基數(shù)5.3.1 集合的等勢5.3.2 有限集和無限集5.3.3 集合的基數(shù)5.3.4 集合基數(shù)的比較第6章 代數(shù)系統(tǒng)6.1 代數(shù)系統(tǒng)的基本概念6.1.1 運算6.1.2 代數(shù)系統(tǒng)6.2 二元運算的性質(zhì)6.2.1 運算的基本性質(zhì)6.2.2 特殊元素6.3 子代數(shù)和積代數(shù)第7章 群、環(huán)和域7.1 半群和獨異點7.1.1 廣群和半群7.1.2 獨異點7.2 群與阿貝爾群7.2.1 群的定義和性質(zhì)7.2.2 阿貝爾群7.3 子群7.3.1 子群的概念7.3.2 子群的判定7.3.3 元素的階及其性質(zhì)7.4 陪集和拉格朗日定理7.5 正規(guī)子群7.6 同態(tài)和同構(gòu)7.6.1 代數(shù)系統(tǒng)的同態(tài)和同構(gòu)7.6.2 群的同態(tài)和同構(gòu)7.7 循環(huán)群7.8 置換群7.9 環(huán)與域7.9.1 環(huán)的定義及基本性質(zhì)7.9.2 幾個常見的特殊環(huán)7.9.3 子環(huán)7.9.4 域7.9.5 環(huán)和域的同態(tài)第8章 格與布爾代數(shù)8.1 格8.1.1 格的概念和性質(zhì)8.1.2 子格和格的同態(tài)8.1.3 分配格8.1.4 有補格8.2 布爾代數(shù)8.2.1 布爾代數(shù)的概念和性質(zhì)8.2.2 布爾代數(shù)的子代數(shù)和同態(tài)8.2.3 有限布爾代數(shù)的結(jié)構(gòu)第9章 圖論9.1 圖的基本概念9.1.1 圖9.1.2 節(jié)點的度及其性質(zhì)9.1.3 多重圖、簡單圖、完全圖和正則圖9.1.4 圖的同構(gòu)9.1.5 補圖、子圖和生成子圖9.2 路和回路9.3 連通圖9.3.1 無向連通圖9.3.2 有向連通圖9.4 圖的矩陣表示9.5 歐拉圖和漢密爾頓圖9.5.1 歐拉圖9.5.2 漢密爾頓圖9.6 樹9.6.1 無向樹9.6.2 生成樹9.6.3 根樹及其應(yīng)用9.7 二部圖及匹配9.7.1 部圖9.7.2 匹配9.8 平面圖9.8.1 平面圖的基本概念9.8.2 歐拉公式9.8.3 平面圖的對偶圖參考文獻(xiàn)

離散數(shù)學(xué)的目錄

第1章 命題邏輯1.1 命題及聯(lián)結(jié)詞1.1.1 命題的基本概念1.1.2 命題聯(lián)結(jié)詞1.2 命題公式與翻譯1.3 真值表和等價公式1.3.1 命題公式的真值表1.3.2 命題公式的等價1.4 重言式1.5 范式1.5.1 析取范式與合取范式1.5.2 主析取范式1.5.3 主合取范式1.6 全功能聯(lián)結(jié)詞集1.7 對偶式與蘊含式1.7.1 對偶式1.7.2 蘊含式1.8 命題邏輯的推理理論第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.5 謂詞邏輯的推理理論第3章 集合3.1 集合的基本概念3.1.1 集合的表示法3.1.2 子集和集合的相等3.1.3 冪集合3.2 集合的運算3.3 集合恒等式3.4 集合的覆蓋與劃分3.5 笛卡兒積第4章 二元關(guān)系4.l 二元關(guān)系及其表示4.1.1 二元關(guān)系的概念4.1.2 二元關(guān)系的表示方法4.2 關(guān)系的運算4.2.1 二元關(guān)系的交、并、補、對稱差運算4.2.2 二元關(guān)系的復(fù)合運算4.2.3 元關(guān)系的求逆運算4.3 關(guān)系的性質(zhì)4.4 關(guān)系的閉包運算4.5 等價關(guān)系4.6 相容關(guān)系4.7 序關(guān)系4.7.1 偏序關(guān)系與哈斯圖4.7.2 全序關(guān)系與良序關(guān)系第5章 函數(shù)5.1 函數(shù)的基本概念5.2 反函數(shù)和復(fù)合函數(shù)5.2.1 反函數(shù)5.2.2 復(fù)合函數(shù)5.3 集合的基數(shù)5.3.1 集合的等勢5.3.2 有限集和無限集5.3.3 集合的基數(shù)5.3.4 集合基數(shù)的比較第6章 代數(shù)系統(tǒng)6.1 代數(shù)系統(tǒng)的基本概念6.1.1 運算6.1.2 代數(shù)系統(tǒng)6.2 二元運算的性質(zhì)6.2.1 運算的基本性質(zhì)6.2.2 特殊元素6.3 子代數(shù)和積代數(shù)第7章 群、環(huán)和域7.1 半群和獨異點7.1.1 廣群和半群7.1.2 獨異點7.2 群與阿貝爾群7.2.1 群的定義和性質(zhì)7.2.2 阿貝爾群7.3 子群7.3.1 子群的概念7.3.2 子群的判定7.3.3 元素的階及其性質(zhì)7.4 陪集和拉格朗日定理7.5 正規(guī)子群7.6 同態(tài)和同構(gòu)7.6.1 代數(shù)系統(tǒng)的同態(tài)和同構(gòu)7.6.2 群的同態(tài)和同構(gòu)7.7 循環(huán)群7.8 置換群7.9 環(huán)與域7.9.1 環(huán)的定義及基本性質(zhì)7.9.2 幾個常見的特殊環(huán)7.9.3 子環(huán)7.9.4 域7.9.5 環(huán)和域的同態(tài)第8章 格與布爾代數(shù)8.1 格8.1.1 格的概念和性質(zhì)8.1.2 子格和格的同態(tài)8.1.3 分配格8.1.4 有補格8.2 布爾代數(shù)8.2.1 布爾代數(shù)的概念和性質(zhì)8.2.2 布爾代數(shù)的子代數(shù)和同態(tài)8.2.3 有限布爾代數(shù)的結(jié)構(gòu)第9章 圖論9.1 圖的基本概念9.1.1 圖9.1.2 節(jié)點的度及其性質(zhì)9.1.3 多重圖、簡單圖、完全圖和正則圖9.1.4 圖的同構(gòu)9.1.5 補圖、子圖和生成子圖9.2 路和回路9.3 連通圖9.3.1 無向連通圖9.3.2 有向連通圖9.4 圖的矩陣表示9.5 歐拉圖和漢密爾頓圖9.5.1 歐拉圖9.5.2 漢密爾頓圖9.6 樹9.6.1 無向樹9.6.2 生成樹9.6.3 根樹及其應(yīng)用9.7 二部圖及匹配9.7.1 部圖9.7.2 匹配9.8 平面圖9.8.1 平面圖的基本概念9.8.2 歐拉公式9.8.3 平面圖的對偶圖參考文獻(xiàn)

離散數(shù)學(xué)的目錄

第1章 命題邏輯1.1 命題及聯(lián)結(jié)詞1.1.1 命題的基本概念1.1.2 命題聯(lián)結(jié)詞1.2 命題公式與翻譯1.3 真值表和等價公式1.3.1 命題公式的真值表1.3.2 命題公式的等價1.4 重言式1.5 范式1.5.1 析取范式與合取范式1.5.2 主析取范式1.5.3 主合取范式1.6 全功能聯(lián)結(jié)詞集1.7 對偶式與蘊含式1.7.1 對偶式1.7.2 蘊含式1.8 命題邏輯的推理理論第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.5 謂詞邏輯的推理理論第3章 集合3.1 集合的基本概念3.1.1 集合的表示法3.1.2 子集和集合的相等3.1.3 冪集合3.2 集合的運算3.3 集合恒等式3.4 集合的覆蓋與劃分3.5 笛卡兒積第4章 二元關(guān)系4.l 二元關(guān)系及其表示4.1.1 二元關(guān)系的概念4.1.2 二元關(guān)系的表示方法4.2 關(guān)系的運算4.2.1 二元關(guān)系的交、并、補、對稱差運算4.2.2 二元關(guān)系的復(fù)合運算4.2.3 元關(guān)系的求逆運算4.3 關(guān)系的性質(zhì)4.4 關(guān)系的閉包運算4.5 等價關(guān)系4.6 相容關(guān)系4.7 序關(guān)系4.7.1 偏序關(guān)系與哈斯圖4.7.2 全序關(guān)系與良序關(guān)系第5章 函數(shù)5.1 函數(shù)的基本概念5.2 反函數(shù)和復(fù)合函數(shù)5.2.1 反函數(shù)5.2.2 復(fù)合函數(shù)5.3 集合的基數(shù)5.3.1 集合的等勢5.3.2 有限集和無限集5.3.3 集合的基數(shù)5.3.4 集合基數(shù)的比較第6章 代數(shù)系統(tǒng)6.1 代數(shù)系統(tǒng)的基本概念6.1.1 運算6.1.2 代數(shù)系統(tǒng)6.2 二元運算的性質(zhì)6.2.1 運算的基本性質(zhì)6.2.2 特殊元素6.3 子代數(shù)和積代數(shù)第7章 群、環(huán)和域7.1 半群和獨異點7.1.1 廣群和半群7.1.2 獨異點7.2 群與阿貝爾群7.2.1 群的定義和性質(zhì)7.2.2 阿貝爾群7.3 子群7.3.1 子群的概念7.3.2 子群的判定7.3.3 元素的階及其性質(zhì)7.4 陪集和拉格朗日定理7.5 正規(guī)子群7.6 同態(tài)和同構(gòu)7.6.1 代數(shù)系統(tǒng)的同態(tài)和同構(gòu)7.6.2 群的同態(tài)和同構(gòu)7.7 循環(huán)群7.8 置換群7.9 環(huán)與域7.9.1 環(huán)的定義及基本性質(zhì)7.9.2 幾個常見的特殊環(huán)7.9.3 子環(huán)7.9.4 域7.9.5 環(huán)和域的同態(tài)第8章 格與布爾代數(shù)8.1 格8.1.1 格的概念和性質(zhì)8.1.2 子格和格的同態(tài)8.1.3 分配格8.1.4 有補格8.2 布爾代數(shù)8.2.1 布爾代數(shù)的概念和性質(zhì)8.2.2 布爾代數(shù)的子代數(shù)和同態(tài)8.2.3 有限布爾代數(shù)的結(jié)構(gòu)第9章 圖論9.1 圖的基本概念9.1.1 圖9.1.2 節(jié)點的度及其性質(zhì)9.1.3 多重圖、簡單圖、完全圖和正則圖9.1.4 圖的同構(gòu)9.1.5 補圖、子圖和生成子圖9.2 路和回路9.3 連通圖9.3.1 無向連通圖9.3.2 有向連通圖9.4 圖的矩陣表示9.5 歐拉圖和漢密爾頓圖9.5.1 歐拉圖9.5.2 漢密爾頓圖9.6 樹9.6.1 無向樹9.6.2 生成樹9.6.3 根樹及其應(yīng)用9.7 二部圖及匹配9.7.1 部圖9.7.2 匹配9.8 平面圖9.8.1 平面圖的基本概念9.8.2 歐拉公式9.8.3 平面圖的對偶圖參考文獻(xiàn)

離散數(shù)學(xué)教程的圖書信息

書名:離散數(shù)學(xué)教程 - - 高等院校計算機(jī)專業(yè)及專業(yè)基礎(chǔ)課系列教材ISBN:730105366作者:耿素云/屈婉玲/王捍貧出版社:北京大學(xué)出版社定價:49頁數(shù):636出版日期:1900-1-1版次:1開本:大16開包裝:平裝簡介:本書共分五編。第一編為集合論，其中包括集合的基本概念、二元關(guān)系、函數(shù)、自然數(shù)、基數(shù)、序數(shù)。第二編為圖論，其中包括圖的基本概念、圖的連通性、歐拉圖與哈密頓圖、樹、平面圖、圖的著色、圖的矩陣表示、覆蓋集、獨立集、匹配、帶權(quán)圖及其實用。第三編為代數(shù)結(jié)構(gòu)，其中包括代數(shù)系統(tǒng)的基本概念、幾個重要的代數(shù)系統(tǒng)：半群、群、環(huán)、域、格與布爾代數(shù)。第四編為組合靈敏學(xué)，其中包括組合存在性、組合計數(shù)、級合設(shè)計與編碼以及組合最優(yōu)化。第五編為數(shù)理邏輯，其中包括命題邏輯、一階謂詞邏輯、Her-brand定理和直覺邏輯。本書體系嚴(yán)謹(jǐn)、內(nèi)容豐富、配有大量的例題和習(xí)題，并與計算機(jī)科學(xué)的理論與實踐密切結(jié)合。本書不僅適用于計算機(jī)及相關(guān)專業(yè)的本科生或研究生，也可供計算機(jī)專業(yè)的科技人員使用或參考。目錄:第一編??集合論第一章??集合1.?1??預(yù)備知識1.?2??集合的概念及集合之間的關(guān)系1.?3??集合的運算1.?4??基本的集合恒等式1.?5??集合列的極限習(xí)題一第二章??二元關(guān)系2.?1??有序?qū)εc卡氏積2.?2??二元關(guān)系2.?3??關(guān)系矩陣和關(guān)系圖2.?4??關(guān)系的性質(zhì)2.?5??二元關(guān)系的冪運算2.?6??關(guān)系的閉包2.?7??等價關(guān)系和劃分2.?8??序關(guān)系習(xí)題二第三章??函數(shù)3.?1??函數(shù)的基本概念3.?2??函數(shù)的性質(zhì)3.?3??函數(shù)的合成3.?4??反函數(shù)習(xí)題三第四章??自然數(shù)4.?1??自然數(shù)的定義4.?2??傳遞集合4.?3??自然數(shù)的運算4.?4??N上的序關(guān)系習(xí)題四第五章??基數(shù)(勢)5.?1??集合的等勢5.?2??有窮集合與無窮集合5.?3??基數(shù)5.?4??基數(shù)的比較5.?5??基數(shù)運算習(xí)題五*第六章??序數(shù)6.?1??關(guān)于序關(guān)系的進(jìn)一步討論6.?2??超限遞歸定理6.?3??序數(shù)6.?4??關(guān)于基數(shù)的進(jìn)一步討論習(xí)題六第二編??圖論第七章??圖7.?1??圖的基本概念7.?2??通路與回路7.?3??無向圖的連通性7.?4??無向圖的連通度7.?5??有向圖的連通性習(xí)題七第八章??歐拉圖與哈密頓圖8.?1??歐拉圖8.?2??哈密頓圖習(xí)題八第九章??樹9.?1??無向樹的定義及性質(zhì)9.?2??生成樹9.?3??環(huán)路空間9.?4??斷集空間9.?5??根樹習(xí)題九第十章??圖的矩陣表示10.?1??關(guān)聯(lián)矩陣10.?2??鄰接矩陣與相鄰矩陣習(xí)題十第十一章??平面圖11.?1??平面圖的基本概念11.?2??歐拉公式11.?3??平面圖的判斷11.?4??平面圖的對偶圖11.?5??外平面圖11.?6??平面圖與哈密頓圖習(xí)題十一第十二章??圖的著色12.?1??點著色12.?2??色多項式12.?3??地圖的著色與平面圖的點著色12.?4??邊著色習(xí)題十二第十三章??支配集.?覆蓋集.?獨立集與匹配13.?1??支配集.?點覆蓋集.?點獨立集13.?2??邊覆蓋集與匹配13.?3??二部圖中的匹配習(xí)題十三第十四章??帶權(quán)圖及其應(yīng)用14.?1??最短路徑問題14.?2??關(guān)鍵路徑問題14.?3??中國郵遞員問題14.?4??最小生成樹14.?5??最優(yōu)樹14.?6??貨郎擔(dān)問題習(xí)題十四第三編??代數(shù)結(jié)構(gòu)第十五章??代數(shù)系統(tǒng)15.?1??二元運算及其性質(zhì)15.?2??代數(shù)系統(tǒng).?子代數(shù)和積代數(shù)15.?3??代數(shù)系統(tǒng)的同態(tài)與同構(gòu)15.?4??同余關(guān)系和商代數(shù)15.?5代數(shù)習(xí)題十五第十六章??半群與獨異點16.?1??半群與獨異點16.?2??有窮自動機(jī)習(xí)題十六第十七章??群17.?1??群的定義和性質(zhì)17.?2??子群17.?3??循環(huán)群17.?4??變換群和置換群17,?5??群的分解17.?6??正規(guī)子群和商群17.?7??群的同態(tài)與同構(gòu)17.?8??群的直積習(xí)題十七第十八章??環(huán)與域18.?1??環(huán)的定義和性質(zhì)18.?2??子環(huán).?理想.?商環(huán)和環(huán)同態(tài)18.?3??有限域上的多項式環(huán)習(xí)題十八第十九章??格與布爾代數(shù)19.?1??格的定義和性質(zhì)19.?2??子格.?格同態(tài)和格的直積19.?3??模格.?分配格和有補格19.?4??布爾代數(shù)習(xí)題十九第四編??組合數(shù)學(xué)第二十章??組合存在性定理20.?1??鴿巢原理和Ramsey定理20.?2??相異代表系習(xí)題二十第二十一章??基本的計數(shù)公式21.?1??兩個計數(shù)原則21.?2??排列和組合21.?3??二項式定理與組合恒等式21.?4??多項式定理習(xí)題二十一第二十二章??組合計數(shù)方法22.?1??遞推方程的公式解法22.?2??遞推方程的其他解法22.?3??生成函數(shù)的定義和性質(zhì)22.?4??生成函數(shù)與組合計數(shù)22.?5??指數(shù)生成函數(shù)與多重集的排列問題22.?6??Catalan數(shù)與Stirling數(shù)習(xí)題二十二第二十三章??組合計數(shù)定理23.?1??包含排斥原理23.?2??對稱篩公式及應(yīng)用23.?3??Burnside引理23.?4??Polya定理習(xí)題二十三第二十四章??組合設(shè)計與編碼24.?1??拉丁方24.?2??t-設(shè)計24.?3??編碼24.?4??編碼與設(shè)計習(xí)題二十四第二十五章??組合最優(yōu)化問題25.?1??組合優(yōu)化問題的一般概念25.?2??網(wǎng)絡(luò)的最大流問題習(xí)題二十五第五編??數(shù)理邏輯第二十六章??命題邏輯26.?1??形式系統(tǒng)26.?2??命題和聯(lián)結(jié)詞26.?3??命題形式和真值表26.?4??聯(lián)結(jié)詞的完全集26.?5??推理形式26.?6??命題演算的自然推理形式系統(tǒng)N26.?7??命題演算形式系統(tǒng)戶26.?8??N與尸的等價性26.?9??賦值26.?10??可靠性.?和諧性與完備性習(xí)題二十六第二十七章??一階謂詞演算27.?1??一階謂詞演算的符號化27.?2??一階語言27.?3??一階謂詞演算的自然推演形式系統(tǒng)N27.?4??一階謂詞演算的形式系統(tǒng)K27.?5??N?與K?的等價性27.?6??K?的解釋與賦值27.?7??K??的可靠性與和諧性27.?8??K??的完全性習(xí)題二十七第二十八章??消解原理28.?1??命題公式的消解28.?2??Herbrand定理28.?3??代換與合一代換28.?4??一階謂詞公式的消解習(xí)題二十八第二十九章??直覺主義邏輯29.?1??直覺主義邏輯的直觀介紹29.?2??直覺主義的一階謂詞演算的自然推演形式系統(tǒng)29.?3??直覺主義一階謂詞演算形式系統(tǒng)IK29.?4??直覺主義邏輯的克里普克(Kripke)語義29.?5??直覺主義邏輯的完備性習(xí)題二十九附錄1??第一編與第二編符號注釋與術(shù)語索引附錄2??第三編與第四編符號注釋與術(shù)語索引附錄3??第五編符號注釋與術(shù)語索引參考書目和文獻(xiàn)