《离散数学》教学课件合集（共6章）非AI.pptx

;课程安排;第一章命题逻辑;第一章命题逻辑;什么是命题;判断下面句子是否是命题;简单命题与复合命题;命题变项（命题变元、命题函数）;简单命题、命题变项的符号化;否定联结词;合取联结词;析取联结词;蕴涵联结词;等价联结词;习题;联结词运算规则;真值表;命题符号化及联结词

命题公式及分类

等值演算

联结词全功能集

对偶与范式

推理理论;什么是命题公式或公式;命题公式的层次定义;成真赋值,成假赋值;真值表;真值表;命题符号化及联结词

命题公式及分类

等值演算

联结词全功能集

对偶与范式

推理理论;等值演算;判断下列命题公式是否等值;真值表法（1）;真值表法（2）;等值式(1);等值式（2）;等值式（3）;等值演算;习题;习题;命题符号化及联结词

命题公式及分类

等值演算

联结词全功能集

对偶与范式

推理理论;联结词的扩展;异或联结词;与非联结词;或非联结词;n元真值函数;冗余联结词、独立联结词;全功能集，极小功能集;用{↓}表示下列命题公式：;第一章命题逻辑;对偶式;性质1;性质2:对偶原理;简单析取式,简单合取式;析取范式,合取范式;范式存在定理;极小项;主析取范式;命题公式A中含有n个命题变项,如果A是重言式，当且仅当A的主析取范式中含全部的2n个极小项。

命题公式A中含有n个命题变项,如果A是矛盾式，当且仅当A的主析取范式中不含任何极小项。

命题公式A中含有n个命题变项,如果A是可满足式（协调式），则A的主析取范式中至少含一个极小项。;例题;极大项;主合取范式;命题公式A中含有n个命题变项,如果A是重言式，当且仅当A的主合取范式中不含任何极大项。

命题公式A中含有n个命题变项,如果A是矛盾式，当且仅当A的主合取范式中含全部的2n个极大项。

命题公式A中含有n个命题变项,如果A是可满足式（协调式），则A的主合取范式中至多含2n-1个极大项。;例题;主析取范式与主合取范式的关系;第一章命题逻辑;什么是推理;逻辑结论;与用“A=B”表示“A?B”是重言式类似，用“A=B”表示“A→B”是重言式。因而，若由前提“(A1^A2^………^AK)”推结论“B”的推理正确，也记为：;例题(1);例题(2);推理定律;推理规则;例题;附加前提证明法;例题;归缪法;令：A1^A2^┅^AK-1?B;例题;第二章一阶逻辑;一阶逻辑的基本概念

一阶逻辑合式公式及解释

一阶逻辑等值式

一阶逻辑推理理论;苏格拉底三段论;个体词,谓词;个体词相关的基本概念;谓词相关的基本概念;谓词和命题的关系;例题;量词;明确个体域;用量词时的注意点;例题;一阶逻辑的基本概念

一阶逻辑合式公式及解释

一阶逻辑等值式

一阶逻辑推理理论;一阶逻辑合式公式采用字母表;项的递归定义;原子公式、合式公式;指导变项,辖域,约束出现,自由出现;例题2.6;封闭的合式公式;换名规则;代替规则;解释I;例题2.7;例题2.8解释N;永真式,矛盾式,可满足式;代换实例;例题2.9;一阶逻辑的基本概念

一阶逻辑合式公式及解释

一阶逻辑等值式

一阶逻辑推理理论;一阶逻辑等值式;量词否定等值式;量词否定等值式;量词辖域收缩与扩展等式;量词辖域收缩与扩展等式;量词辖域收缩与扩展等式;量词分配等值式;(交换量词)等值式;前束范式;例题(1);例题(2);一阶逻辑的基本概念

一阶逻辑合式公式及解释

一阶逻辑等值式

一阶逻辑推理理论;推理形式;关于量词分配的推理定理;全称量词消去规则(UI);全称量词引入规则(UG规则);存在量词引入规则(EG);存在量词消去规则(EI规则);例题2.12;例题2.13;例题2.14;谢谢!;第三章集合的基本概念和运算;内容提纲;第三章集合与元素;集合的表示方法;集合与元素的关系;集合与集合的关系;集合相等;真子集;空集;例题

;n元集,m元子集;幂集;全集;内容提纲;集合的运算符;运算符的定义;例题;广义推广;绝对补;对称差;文氏图;例题;算律(1);算律(2);证明;重要结果;证明(1);证明(2);内容提纲;基数,有穷集,无穷集;例题(1);包含排斥原理;证明;推论;实例;谢谢!;第四章二元关系和函数;内容提纲;序偶;有序n元组;笛卡儿积;笛卡儿积运算具有的性质(1);笛卡儿积运算具有的性质(2);例题(1);n阶笛卡儿积;二元关系;A到B的二元关系;关系实例;关系矩阵;例题;关系图;例题;内容提纲;关系的定义域和值域;例题;逆、合成、限制和象;例题;等式(1);等式(2);n次幂;例题(关系图法);例题(关系矩阵运算法);等式(3);内容提纲;关系的性质;定义;例题（１）;例题（２）;性质;例题(3);关系演算后的性质;证明(1);证明(2);内容提纲;自反闭包,对称闭包,传递闭包;例题;定理;求各种闭包;采用关系矩阵