离散数学知识点
2016-09-08 18:47:15 0 举报AI智能生成
离散数学知识点
作者其他创作
大纲/内容
集合的基本概念和运算
基本概念
运算
集合中元素的计数
二元关系和函数
笛卡儿积
二元关系
空关系、全域关系、恒等关系、小于等于关系、整除关系
关系的运算
集合运算法、关系矩阵、关系图
关系的性质和闭包
等价关系和偏序关系
函数的定义和性质
函数的复合和反函数
图的基本概念
无向图、有向图的相关概念及其矩阵表示
通路、回路及其连通性
命题逻辑
逻辑符号化及联结词
逻辑符号化
联结词
否定联结词
合取联结词
析取联结词
蕴涵联结词等价联结词
命题公式
重言式
可满足式
矛盾式
等值演算及其公式的运用
范式的应用
联结词全功能集和组合电路
推理理论
推理定律及其证明规则
构造证明法的技巧
附加前提证明法
归谬法
一阶逻辑
基本概念
合式公式及解释
等值式与前束范式
特殊的图
二部图、欧拉图、哈密顿图、平面图及其概念
0 条评论
下一页
