离散数学复习提纲命题逻辑1.(PQ)(QR)的主合取范式和主析取范式2.试求下列公式的主析取范式:(1)(2)(an: )3.用真值表判断下列公式是恒真恒假可满足(1)(P??P)?Q(2)?(P?Q)?Q(3)((P?Q)?(Q?R))?(P?R) (an: 解: 真值表P Q?P P??P (P??P)?Q0
#
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级总复习第一章 命题逻辑1. 判断句子是否为命题.2. 命题符号化. 原子命题:不能再分割的子句.3. 五种基本联结词优先级.4. 求已知命题公式的对偶公式.5. 求主析取范式主合取范式.6. 等价变换课本P33. 命题公式等价的实质——真值表相同.7. 直接推演(注意:一定要按步骤写每用一次I公
第1章.命题逻辑1.命题真值逻辑联结词(??? ??) 合式公式与真值表重言式(判定:①真值表② 置换定理③等价变换(演算)④主析取(全部极小项)主合取(无极大项)矛盾式可满足公式2.命题公式的等价(?自对传) 基本等价式(E1—E24)p9(对偶式A ?B A ?B )第3章 集合的基本概念和运算 一.集合:基本概念并交补差对称差运算集合的幂集(幂集的基数定理)包含排斥原理(集合的计数)(?
第一部分 数理逻辑命题逻辑的基本概念1什么是命题2合取(与)析取(相容或排斥或)蕴涵(几种特例)3掌握命题符号化的方法(如何抽取命题采用哪些逻辑联结词)命题逻辑等值演算1几种常用的等值式和定律P172掌握一定的等值演算法3掌握概念:文字简单析取式简单合取式析取范式合取范式极大项极小项主析取范式主合取范式4掌握求取一个合式公式的主析取范式和主合取范式的方法5理解主析取范式主合取范式与真值表的对应关系
#
#
#
考试题型:1判断题:10道5分一道2计算题:2道10分一道3证明题:3道10分一道第一章 集合小结1集合:集合是不加定义的数学概念用公理化方法进行研究只有有限个元素的集合称为有限集有无限个元素的集合称为无限集为了叙述方便定义?(或 )表示 中所含元素的个数集合表示法(1)列举法(有限个元素)(2)描述法集合具有(1)无重复性:例如: (2)无次序性:例如: 不含任何元素的集合称为空集集合间的
第1-4章复习题1虚指数序列 x[k]= ejωk 不一定为周期序列而连续虚指数信号x(t)= ejωt必是周期信号2线性卷积例题: x[k]非零范围为N1? k ? N2h[k]的非零范围为N3? k? N4求:y[k]=x[k] h[k]的非零范围解答:N1N3? k ? N2N4解析:两个序列卷积时卷积所得序列的起点等于两个序列起点之和终点等于两个序列的终点之和序列长度等于两个序列的长
违法有害信息,请在下方选择原因提交举报