离散数学期末复习大纲

命题逻辑

1. 掌握命题、命题变元、联结词、复合命题等概念,能够将命题符合化。

2.

3. 掌握命题公式、重言式、矛盾式、可满足式、公式真值表等概念。 掌握命题公式的等价式、蕴涵式、逆换式、反换式、逆反式等概念,能够用基本逻辑蕴涵式推证更复杂的逻辑蕴涵式。

4. 掌握全功能联结词集合的概念,掌握范式、极大项、极小项、主范式的概念和性质,掌握求各种范式的方法,能够用等价演算法和真值表法求命题公式的主范式。熟悉一个命题公式的主合取范式与主析取范式的关系——如果根据一种主范式立刻写出另一种主范式P38。

5. 掌握形式证明、前提引入规则(P规则)、结论引用规则(T规则)等概念,能够根据推理规则以及一些基本等价式和逻辑蕴含式(P43 标1-8.3和表1-8.4),利用直接法和间接法作有效推理,并最终得到一个有效结论P42~P45。

典型题型:P12 1-3.(7) P39 1-7.(4) P46 (1).(2).(3).(5)

谓词逻辑

1. 掌握个体、个体变量、个体域、谓词、全称量词、存在量词等概念(对于全称量词,特性谓词常作为蕴含的前件;对于存在量词,特性谓词常作为合取项),并学会利用它们符合化一些命题并构成一些较复杂的命题。

相关文档
离散数学期末复习要点与重点
离散数学期末复习要点与重点_工学_高等教育_教育专区。考前必看恩离散...离散数学期末复习提纲 8页 免费 离散数学期末复习材料 暂无评价 6页 免费 离散...
离散数学期末复习纲要
关键词:数学 同系列文档 中国名人老照片 图说历史 清末民初的社会 慈禧太后的保养秘方 晚清风云人物:1/2 相关文档推荐 离散数学期末复习大纲 6页 1财富值 离散...
离散数学期末复习纲要
离散数学期末复习纲要_理学_高等教育_教育专区。离散数学第1章命题逻辑重点(1)需要熟练掌握的知识点包括:命题的 定义、逻辑联结词、命题变元、命题公式 (合式公式...
离散数学总复习指南、大纲
数学与其他学科相比较具有 较高的抽象性,而离散数学的抽象性特点更为显著,它有着大 量抽象的概念和抽象的推理,要学好这门课程必须具有较好的 抽象思维能力,才能...
离散数学期末复习试卷
离散数学期末复习试卷_理学_高等教育_教育专区。离散数学试题与答案试卷一 一、填空...离散数学期末复习提纲 8页 免费 离散数学期末复习材料 暂无评价 6页 免费 离散...
离散数学期末复习要点
离散数学期末复习大纲 6页 1下载券 离散数学期末复习试题及... 7页 1下载券 离散数学 期末复习 12页 1下载券离散数学期末复习...
离散数学期末复习
离散数学期末复习题_其它课程_高中教育_教育专区。淮海工学院 2011-2012-2 离散数学期末复习题答案 一、选择题(每题 3 分) 1、下列句子中哪个不是命题? ( C...
离散数学总复习资料
离散数学总复习资料_理学_高等教育_教育专区。离散数学总复习资料 离散数学总复习资料 一、鸽笼原理与容斥原理 1.求证边长为 1 的正方形中放 9 个点,由这些点...
离散数学期末复习指导经典
离散数学期末复习指导经典_理学_高等教育_教育专区。离散数学复习必备离散...该课程使用新 的教学大纲,在原有离散数学课程的基础上削减了教学内容(主要是群...
离散数学期末复习
离散数学期末复习。离散数学内容总结 离散数学内容总结 第一篇 数理逻辑第 1 章 命题逻辑 求命题公式的主析取范式及主合取范式 求命题公式的主析取范式及主合取...
相关主题
热门文档