高教離散數(shù)學修訂版耿素云屈婉玲Part1數(shù)理邏輯部分

1、離散數(shù)學高 等 教 育 出 版 社第一部分 數(shù)理邏輯第二部分 集合論第三部分 代數(shù)結(jié)構(gòu)第四部分 圖論第一章 命題邏輯基本概念第二章 命題邏輯等值演算 第三章 命題邏輯的推理理論第四章 一階邏輯基本概念 第五章 一階邏輯等值演算與推理第六章 集合代數(shù)第七章 二元關(guān)系第八章 函數(shù)第九章 集合的基數(shù)第十章 代數(shù)系統(tǒng)第十一章 半群與群第十二章 環(huán)與域第十三章 格與布爾代數(shù)第十四章 圖的基本概念第十五章 歐拉圖與哈密頓圖第十六章 樹第十七章 平面圖及圖的著色第十八章 支配集、覆蓋集、獨立集與匹配第一節(jié) 命題與聯(lián)結(jié)詞第二節(jié) 命題公式及其賦值習題課第一節(jié) 等值式第二節(jié) 析取范式與合取范式第三節(jié) 聯(lián)結(jié)詞的完備

2、集習題課 第一節(jié) 推理的形式結(jié)構(gòu)第二節(jié) 自然推理系統(tǒng)P習題課第一節(jié) 一階邏輯命題符號化第二節(jié) 一階邏輯公式及解釋習題課第一節(jié) 一階邏輯等值式與置換規(guī)則第二節(jié) 一階邏輯前束范式第三節(jié) 一階邏輯的推理理論習題課 第一節(jié) 集合的基本概念第二節(jié) 集合的運算第三節(jié) 集合恒等式習題課 第一節(jié) 有序?qū)εc笛卡兒積第二節(jié) 二元關(guān)系第三節(jié) 關(guān)系的運算第四節(jié) 關(guān)系的性質(zhì)第五節(jié) 關(guān)系的閉包第六節(jié) 等價關(guān)系與劃分第七節(jié) 偏序關(guān)系習題課 第一節(jié) 函數(shù)的定義與性質(zhì)第二節(jié) 函數(shù)的復(fù)合與反函數(shù)習題課第一節(jié) 集合的等勢與優(yōu)勢第二節(jié) 集合的基數(shù)習題課第一節(jié) 二元運算及其性質(zhì)第二節(jié) 代數(shù)系統(tǒng)習題課第一節(jié) 半群與獨異點第二節(jié) 群的定義

3、與性質(zhì)第三節(jié) 子群第四節(jié) 陪集與拉格朗日定理第五節(jié) 正規(guī)子群與商群第六節(jié) 群的同態(tài)與同構(gòu)第七節(jié) 循環(huán)群與置換群習題課 第一節(jié) 環(huán)的定義與性質(zhì)第二節(jié) 整環(huán)與域習題課第一節(jié) 格的定義與性質(zhì)第二節(jié) 子格與格同態(tài)第三節(jié) 分配格與有補格第四節(jié) 布爾代數(shù)習題課 第一節(jié) 圖第二節(jié) 通路與回路第三節(jié) 圖的連通性第四節(jié) 圖的矩陣表示習題課 第一節(jié) 歐拉圖第二節(jié) 哈密頓圖第三節(jié) 帶權(quán)圖與貨郎擔問題習題課 第一節(jié) 無向樹及其性質(zhì)第二節(jié) 生成樹第三節(jié) 根樹及其應(yīng)用習題課 第一節(jié) 平面圖的基本概念第二節(jié) 歐拉公式第三節(jié) 平面圖的判斷第四節(jié) 平面圖的對偶圖第五節(jié) 圖中頂點的著色第六節(jié) 地圖的著色與平面圖的點著色第七節(jié) 邊著色習題課 第一節(jié) 支配集、點覆蓋集與點獨立集第二節(jié) 邊覆蓋集與匹配第三節(jié) 二部圖中的匹配習題課 第一部分 數(shù)理邏輯第一章 命題邏輯基本概念第一節(jié) 命題與聯(lián)結(jié)詞222第二節(jié) 命題公式及其賦值第一章 習題課提示：提示： 提示： 第二章 命題邏輯等值演算第一節(jié) 等值式第二節(jié) 析取范式與合取范式第三節(jié) 聯(lián)結(jié)詞的完備集第二章 習題課解 答案： 解答第三章 命題邏輯的推理理論第一節(jié) 推理的形式結(jié)構(gòu)第二節(jié) 自然推理系統(tǒng)P222第三章 習題課解 證明 第四章 一階邏輯基本概念第一節(jié) 一階邏輯命題符號化 第二節(jié) 一階邏輯公式及解釋第四章 習題課解 解 第五章 一階邏