这是一款适合学习离散数学课程的读者使用的课件，课件制作精细，内容详尽，欢迎大家下载！

命题逻辑 谓词逻辑 集合论基础 二元关系 函数 代数系统 格与布尔代数 图论 模拟题 老师给的复习资料

《离散数学》课件，西安电子科技大学。 第1章 命题逻辑 第2章 一阶逻辑 第3章 集合的基本概念和运算 第4章 二元关系和函数 第5章 代数系统的基本概念 第6章 几个典型的代数系统 ..... 第10章 几种典型图

东北大学离散数学课件

离散数学 上海科学技术文献出版社 左孝凌等编著

３.蕴涵式证明方法 除真值表外，还有两种方法： ① 前件真导后件真方法 设公式的前件为真，若能推导出后件也为真，则条件式是永真式，故蕴涵式成立。 因为欲证AB，即证AB是永真式。对于AB，除在A取真和B取假时，AB为假外，余下AB皆为真。所以，若AB的前件A为真，由此可推出B亦为真，则AB是永真式，即AB。

应用主析取范式分析和解决实际问题 例2.12　某科研所要从3名科研骨干A,B,C中挑选1～2名出国进修。由于工作原因，选派时要满足以下条件： (1)若A去，则C同去。 (2)若B去，则C不能去。 (3)若C不去，则A或B可以去。 问应如何选派他们去？ 分析： (1) 将简单命题符号化 (2) 写出各复合命题 (3) 写出由(2)中复合命题组成的合取式（前提） (4) 将(3)中公式化成析取式（最好是主析取范式） (5) 这样每个小项就是一种可能产生的结果。 去掉不符合题意的小项，即得结论。

西北工业大学软件学院离散数学上课用的课件完整版，有预习意愿的同学可以下载学习，包含集合论，关系，函数，代数系统，群论，格与布尔代数，图论，树，命题逻辑，谓词逻辑，离散建模等知识

离散数学中文课件，配合教材使用，每一章详细讲义。课件ppt.

离散数学高教版课件，特别适用于中国地质大学