《离散数学》PPT课件 傅彦 电子科技大学

 
课件内容： 
第1章集合论 
01-01集合 
01-02集合的运算与分类 
第2章计数问题 
02-01排列组合 
02-02容斥原理与鸽笼原理 
第3章命题逻辑 
03-01命题与命题联结词 
03-02命题翻译与联结词 
03-03命题公式、解释与真值表 
03-04基本等价公式及其应用 
03-05命题公式的应用与联结词的完备集 
03-06范式 
03-07极小项与极大项 
03-08主范式 
第4章谓词逻辑 
04-01谓词与量词 
04-02谓词翻译 
04-03谓词合式公式 
04-04谓词合式公式的解释与基本等价关系 
第5章推理与证明技术 
05-01逻辑蕴涵 
05-02演绎法 
05-03谓词逻辑的推理 
05-04谓词演算的综合推理方法 
第6章二元关系 
06-01关系的定义 
06-02关系的表示法 
06-03关系的复合运算 
06-04关系的逆运算 
06-05关系的性质 
第7章特殊关系 
07-01等价关系 
07-02偏序关系 
第8章函数 
08-01函数的定义与分类 
08-02函数的性质与运算 
第9章图 
09-01图及图的表示与操作 
09-02图分类及子图与补图 
09-03握手定理与图同构 
09-04通路与回路 
09-05连通图 
09-06有向连通图 
第10章树 
10-01无向树 
10-02最小生成树与根树 
第11章特殊图 
11-01欧拉图 
11-02哈密顿图 
11-03偶图 
11-04平面图 
第12章代数系统 
12-01代数系统与运算律 
12-02特殊元 
12-03同态与同构 
第13章群 
13-01半群与含幺半群 
13-02群与元素的周期 
13-03子群 
13-04子群与群同态 
13-05特殊群 
13-06陪集与拉格朗日定理 
13-07拉格朗日定理与正规子群 
第14章格与布尔代数 
14-01格的基本概念 
14-02格与子格 
14-03格同态与分配格 
14-04特殊格 
14-05有补分配格 
14-06布尔代数