《离散数学》课件，西安电子科技大学。 第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.

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

北大离散数学课件及课后习题 刘田_1~13_集合论与图论 屈婉玲_14~22_代数结构与组合数学 王捍贫23~24_数理逻辑

B站录课资源网址： https://space.bilibili.com/609703132/channel/detail?cid=142579&ctype=0