高教离散数学修订版耿素云屈婉玲part数理逻辑部分

《高教离散数学修订版耿素云屈婉玲part数理逻辑部分》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、离散数学高等教育出版社第一部分数理逻辑第二部分集合论第三部分代数结构第四部分图论第一章命题逻辑基本概念第二章命题逻辑等值演算第三章命题逻辑的推理理论第四章一阶逻辑基本概念第五章一阶逻辑等值演算与推理第六章集合代数第七章二元关系第八章函数第九章集合的基数第十章代数系统第十一章半群与群第十二章环与域第十三章格与布尔代数第十四章图的基本概念第十五章欧拉图与哈密顿图第十六章树第十七章平面图及图的着色第十八章支配集、覆盖集、独立集与匹配第一节命题与联结词第二节命题公式及其赋值习题课第一节等值式第二节析取范式与合取范式第三节联结词的完备集习题课第一节推理的形式结构第二节自然推

2、理系统P习题课第一节一阶逻辑命题符号化第二节一阶逻辑公式及解释习题课第一节一阶逻辑等值式与置换规则第二节一阶逻辑前束范式第三节一阶逻辑的推理理论习题课第一节集合的基本概念第二节集合的运算第三节集合恒等式习题课第一节有序对与笛卡儿积第二节二元关系第三节关系的运算第四节关系的性质第五节关系的闭包第六节等价关系与划分第七节偏序关系习题课第一节函数的定义与性质第二节函数的复合与反函数习题课第一节集合的等势与优势第二节集合的基数习题课第一节二元运算及其性质第二节代数系统习题课第一节半群与独异点第二节群的定义与性质第三节子群第四节陪集与拉格朗日定理第五节正规子群与商群第六节群

3、的同态与同构第七节循环群与置换群习题课第一节环的定义与性质第二节整环与域习题课第一节格的定义与性质第二节子格与格同态第三节分配格与有补格第四节布尔代数习题课第一节图第二节通路与回路第三节图的连通性第四节图的矩阵表示习题课第一节欧拉图第二节哈密顿图第三节带权图与货郎担问题习题课第一节无向树及其性质第二节生成树第三节根树及其应用习题课第一节平面图的基本概念第二节欧拉公式第三节平面图的判断第四节平面图的对偶图第五节图中顶点的着色第六节地图的着色与平面图的点着色第七节边着色习题课第一节支配集、点覆盖集与点独立集第二节边覆盖集与匹配第三节二部图中的匹配习题课第一部分数理逻辑

4、第一章命题逻辑基本概念第一节命题与联结词第二节命题公式及其赋值第一章习题课提示：提示：提示：第二章命题逻辑等值演算第一节等值式第二节析取范式与合取范式第三节联结词的完备集第二章习题课解答案：解答第三章命题逻辑的推理理论第一节推理的形式结构第二节自然推理系统P第三章习题课解证明第四章一阶逻辑基本概念第一节一阶逻辑命题符号化第二节一阶逻辑公式及解释第四章习题课解解第五章一阶逻辑等值演算与推理第一节一阶逻辑等值式与置换规则第二节一阶逻辑前束范式第三节一阶逻辑的推理理论第五章习题课解证明：