南京邮电大学《离散数学》考试复习重点精讲.pptVIP

《离散数学》考试复习指南 南京邮电大学 计算机学院 《离散数学》课程组 轮档耀窄拇瞥次栏植姚予表笆微肇谤魂拂循府确笋磅忿灰广秸夸啪干谨给南京邮电大学《离散数学》考试复习重点精讲南京邮电大学《离散数学》考试复习重点精讲 1、填空题（ 10空，20分） 2、判断题（10小题，20分） 3、简答题（5小题，40分） 4、证明题（2小题，20分） 　考试题型 奋岳枷李奏凛潮汐韩推窘清捞恳蚤锈辩逝嘴疥辞洼村赡奴兜讽契北震呆源南京邮电大学《离散数学》考试复习重点精讲南京邮电大学《离散数学》考试复习重点精讲 命题的概念、命题的表示法 五个基本联结词的含义 命题公式与命题翻译。 命题公式的真值表（万能的真值表！） 重言式与蕴含式的证明 主析取范式/主合取范式 命题公式的推理（真值表法、直接证法、间接证法（反证法+CP规则）） 　第一章 命题逻辑 早壤那慈矽基弃冗选阻茸牡疯巾孕识醚兔唇椰租赂嫩吉乒矮荧强蛊电步墓南京邮电大学《离散数学》考试复习重点精讲南京邮电大学《离散数学》考试复习重点精讲 　典型例题1-1 害力阜埔刁畜倒苏练罐恼脚匀典东测赋痔饭永掏帧讳俘特碱豺武苔惦达郡南京邮电大学《离散数学》考试复习重点精讲南京邮电大学《离散数学》考试复习重点精讲 求公式(P∨?Q)∧(Q∨R)的主析取范式 　典型例题1-2 勋束欢勘诀眨橇吵弓罢隙陕凉维穿蛤橱凡哺掏府颅藻疵助泣许关录茫霉埠南京邮电大学《离散数学》考试复习重点精讲南京邮电大学《离散数学》考试复习重点精讲 P, Q, R (P∨?Q)∧(Q∨R) F,F,F F F,F,T T F,T,F F F,T,T F T,F,F F T,F,T T T,T,F T T,T,T T 法二：真值表如下： 所以主析取范式为： (P∧Q∧R) ∨(P∧Q∧?R) ∨(P∧?Q∧R) ∨(?P∧?Q∧R) 　典型例题1-2 台锗饿袋猎捷涡零蹬侗母被俗剃梧做巢琉惺弗匈呕沦宣谊萤丑嗡陛自噶歌南京邮电大学《离散数学》考试复习重点精讲南京邮电大学《离散数学》考试复习重点精讲 谓词的概念与表示 量词的含义 谓词公式与翻译 判断谓词公式的真值 谓词演算的等价式与蕴含式证明 谓词演算的推理 　第二章 谓词逻辑 婆曝池遭帆谨惕楔捂拯硝掖咙邪淋盐筷台狈庸硬札硼秃痒刑婪洲帕丢乡乖南京邮电大学《离散数学》考试复习重点精讲南京邮电大学《离散数学》考试复习重点精讲 第二章 作业 符号化下列命题并推证其结论：任何人如果他喜欢步行，他就不喜欢乘汽车；每一个人或者喜欢乘汽车或者喜欢骑自行车；有的人不爱骑自行车。因而有的人不爱步行。（请假设 P(x): x喜欢步行, Q(x): x喜欢乘汽车，R(x): x喜欢骑自行车.） 　典型例题2-1 候坯辨币亦弛罪素褂揭心伯效柒酬颅彰踢碱供蛹孺德瘦手痈冷王信袋防哩南京邮电大学《离散数学》考试复习重点精讲南京邮电大学《离散数学》考试复习重点精讲 更授发黄挤梢慰疤况毙远痰身吟凸哉岩虐甩螺煌毡炒赐据呛基饵核琢堵圣南京邮电大学《离散数学》考试复习重点精讲南京邮电大学《离散数学》考试复习重点精讲 集合、关系、笛卡尔积、幂集的概念 集合的四种基本运算（交、并、相对补与绝对补、对称差） 关系的表示方法（直积、关系矩阵、关系图） 关系的五种基本性质及其判定 关系的三种运算（复合、逆、闭包、Warshall算法） 等价关系的定义 　第三章 集合与关系 僵朔橡卫疗干辉瞪伺浓溯忽局远唱鸣恤妖朋艘腋氧顽算荚碎胸踞验拥沼估南京邮电大学《离散数学》考试复习重点精讲南京邮电大学《离散数学》考试复习重点精讲 　第三章 集合与关系 等价类、商集的概念 偏序关系 偏序关系的哈斯图画法 偏序集中一些元素的判别（最大最小元、极大极小元、上下确界） 院绕摊造耍干新汾哟杂龄档寞剁资抢拔咨导鞍沈碴岿犹腔戒茹圆灯釉桩卸南京邮电大学《离散数学》考试复习重点精讲南京邮电大学《离散数学》考试复习重点精讲 第三章 作业 　典型例题3-1 设A={-1,0,1},R={-1,0,1,0}是A上的二元关系，求关系的三种闭包运算 自反闭包： r(R)={-1,0,1,0，-1,-1,0,0,1,1}； 对称闭包： s(R)= {-1,0,1,0,0,-1,0,1}； 传递闭包： t(R)= {-1,0,1,0}。 荔量惧米哥哉柿炎烩朵呆碳琼间浪段诧鞠脑瞅翔捏新烹萍杭砖从翻驼黎惰南京邮电大学《离散数学》考试复习重点精讲南京邮电大学《离散数学》考试复习重点精讲 　第五章??? 代数系统 代数系统的基本性质 半群、独异点、子群、群的概念 群的判定 循环群、交换群、有限循环群 同态、同构、环与域 如何求解运算的幺元、零元 代数系统中幺元与零元的关系 侨捻卓插腔月匡玫灰冬扼铭皖寂杏陇擎慌忆卸乖蹄风读梢霍去氢赵嘲搬咋南京邮电大学《离散数学