离散数学

书籍目录

第一编 数理逻辑第1章 命题逻辑的基本概念1.1 命题与命题联结词1.2 命题公式及其赋值习题一第2章 命题逻辑等值演算2.1 等值式2.2 命题公式的标准形——范式2.3 联结词的完备集习题二第3章 命题逻辑的推理理论3.1 推理的形式结构3.2 自然推理系统P习题三第4章 一阶逻辑基本概念4.1 一阶逻辑的符号化4.2 一阶逻辑公式及解释习题四第5章 一阶逻辑等值演算与推理5.1 一阶逻辑等值式与置换规则5.2 一阶逻辑公式的标准形——前束范式5.3 一阶逻辑推理理论习题五第二编 集合论第6章 集合代数6.1 集合的基本概念6.2 集合的运算6.3 集合恒等式习题六第7章 二元关系7.1 有序对与笛卡尔积7.2 二元关系7.3 关系的运算7.4 关系的性质7.5 关系的闭包7.6 等价关系与划分7.7 偏序关系习题七第8章 函数8.1 函数的定义与性质8.2 函数的复合与反函数习题八第9章 集合基数9.1 集合的等势与优势9.2 集合的基数习题九第三编 代数结构第10章 代数结构10.1 二元运算及其性质10.2 代数系统……第11章 半群与群第12章 环与域 第13章 格与布尔代数第四编 图论第14章 图的基本概念第15章 欧拉图与哈密顿图第16章 树第17章 平面图及图的着色第18章 支配集、覆盖集、独立集与匹配部分习题参考答案参考文献

作者简介

离散数学，ISBN：9787801727282，作者：刘永平，刘玉胜 著

图书封面

 离散数学下载