考试复习提纲_Review2011.ppt

《考试复习提纲_Review2011.ppt》由会员分享，可在线阅读，更多相关《考试复习提纲_Review2011.ppt（21页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、1大概的考试题型大概的考试题型选择题选择题 2*10=20填空题填空题 2*15=30 计算（简答）题计算（简答）题 10*2=20应用题应用题 10*1=10证明题证明题 10*2=202大概的考试题型大概的考试题型数理逻辑数理逻辑(第第15章章)45分左右分左右 集合论集合论(第第68章章)55分左右分左右 第一章第一章主要内容主要内容l命题、真值、简单命题与复合命题、命题符号化命题、真值、简单命题与复合命题、命题符号化l联结词联结词,及复合命题符号化及复合命题符号化l命题公式及层次命题公式及层次l公式的类型公式的类型l真值表及应用真值表及应用l基本要求基本要求l深刻理解各联结词的逻辑关系

2、深刻理解各联结词的逻辑关系,熟练地将命题符号化熟练地将命题符号化l会求复合命题的真值会求复合命题的真值l深刻理解合式公式及重言式、矛盾式、可满足式等概念深刻理解合式公式及重言式、矛盾式、可满足式等概念l熟练地求公式的真值表，并用它求公式的成真赋值与成假熟练地求公式的真值表，并用它求公式的成真赋值与成假赋值及判断公式类型赋值及判断公式类型第二章第二章 命题逻辑等值演算命题逻辑等值演算主要内容主要内容l等值式与等值演算等值式与等值演算l基本等值式（基本等值式（1616组，组，2424个公式）个公式）l主析取范式与主合取范式主析取范式与主合取范式l联结词完备集联结词完备集l消解法消解法基本要求基本要

3、求l深刻理解等值式的概念深刻理解等值式的概念l牢记基本等值式的名称及它们的内容牢记基本等值式的名称及它们的内容l熟练地应用基本等值式及置换规则进行等值演算熟练地应用基本等值式及置换规则进行等值演算l理解文字、简单析取式、简单合取式、析取范式、合取范理解文字、简单析取式、简单合取式、析取范式、合取范式的概念式的概念l深刻理解极小项、极大项的概念、名称及下角标与成真、深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值的关系，并理解简单析取式与极小项的关系成假赋值的关系，并理解简单析取式与极小项的关系l熟练掌握求主范式的方法（等值演算、真值表等）熟练掌握求主范式的方法（等值演算、真值表等）l

4、会用主范式求公式的成真赋值、成假赋值、判断公式的类会用主范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值型、判断两个公式是否等值l会将公式等值地化成指定联结词完备集中的公式会将公式等值地化成指定联结词完备集中的公式l会用命题逻辑的概念及运算解决简单的应用问题会用命题逻辑的概念及运算解决简单的应用问题l掌握消解规则及其性质掌握消解规则及其性质l会用消解算法判断公式的可满足性会用消解算法判断公式的可满足性第三章第三章 命题逻辑推理理论命题逻辑推理理论主要内容主要内容l推理的形式结构推理的形式结构l判断推理是否正确的方法判断推理是否正确的方法真值表法 等值演算法主析取范式法l推理

5、定律推理定律l自然推理系统自然推理系统Pl构造推理证明的方法构造推理证明的方法直接证明法附加前提证明法归谬法(反证法)基本要求基本要求l理解并记住推理形式结构的两种形式：理解并记住推理形式结构的两种形式：1.(A1 A2 Ak)B2.前提：前提：A1,A2,Ak结论：结论：Bl熟练掌握判断推理是否正确的不同方法（如真值表法、等熟练掌握判断推理是否正确的不同方法（如真值表法、等值演算法、主析取范式法等）值演算法、主析取范式法等）l牢记牢记P 系统中各条推理规则系统中各条推理规则l熟练掌握构造证明的直接证明法、附加前提证明法和归谬熟练掌握构造证明的直接证明法、附加前提证明法和归谬法法l会解决实际中

6、的简单推理问题会解决实际中的简单推理问题第四章第四章 一阶逻辑基本概念一阶逻辑基本概念主要内容主要内容l个体词、谓词、量词个体词、谓词、量词l一阶逻辑命题符号化一阶逻辑命题符号化l一阶语言一阶语言L L 项、原子公式、项、原子公式、合式公式合式公式l公式的解释公式的解释 量词的辖域、指导变元、个体变项的自由出现与约束出现、量词的辖域、指导变元、个体变项的自由出现与约束出现、闭式、解释闭式、解释l公式的类型公式的类型 永真式永真式(逻辑有效式逻辑有效式)、矛盾式、矛盾式(永假式永假式)、可满足式、可满足式基本要求基本要求l 准确地将给定命题符号化准确地将给定命题符号化l 理解一阶语言的概念理解一

7、阶语言的概念l 深刻理解一阶语言的解释深刻理解一阶语言的解释l 熟练地给出公式的解释熟练地给出公式的解释l 记住闭式的性质并能应用它记住闭式的性质并能应用它l 深刻理解永真式、矛盾式、可满足式的概念深刻理解永真式、矛盾式、可满足式的概念,会会判断简单公式的类型判断简单公式的类型第五章第五章 一阶逻辑等值演算与推理一阶逻辑等值演算与推理主要内容主要内容l一阶逻辑等值式一阶逻辑等值式基本等值式，置换规则、换名规则、代替规则基本等值式，置换规则、换名规则、代替规则l前束范式前束范式l推理的形式结构推理的形式结构l自然推理系统自然推理系统NL L推理定律、推理规则推理定律、推理规则基本要求基本要求l深

8、刻理解并牢记一阶逻辑中的重要等值式深刻理解并牢记一阶逻辑中的重要等值式,并能准并能准确而熟练地应用它们确而熟练地应用它们l熟练正确地使用置换规则、换名规则、代替规则熟练正确地使用置换规则、换名规则、代替规则l熟练地求出给定公式的前束范式熟练地求出给定公式的前束范式l深刻理解自然推理系统深刻理解自然推理系统NL L 的定义，牢记的定义，牢记NL L 中的中的各条推理规则，特别是注意使用各条推理规则，特别是注意使用UI、UG、EI、EG 4条推理规则的条件条推理规则的条件（注意看教学课件）（注意看教学课件）l能正确地给出有效推理的证明能正确地给出有效推理的证明 全称量词消去规则全称量词消去规则(简

9、记为简记为UI规则或规则或UI)含含义义：如如果果个个体体域域的的所所有有元元素素都都具具有有性性质质A，则则个个体体域域中中的的任任一元素具有性质一元素具有性质A。两式成立的条件两式成立的条件：(1)在在第第一一式式中中，取取代代x的的y应应为为任任意意的的不不在在A(x)中中约约束束出出现现的的个体变项。个体变项。(2)在第二式中，在第二式中，c为任意个体变项。为任意个体变项。(3)用用y或或c去去取取代代A(x)中中自自由由出出现现的的x时时，一一定定要要在在x自自由由出出现现的一切地方进行取代。的一切地方进行取代。全称量词引入规则全称量词引入规则(简记为简记为UG规则或规则或UG)该式

10、成立的条件是：该式成立的条件是：(1)无论无论A(y)中自由出现的个体变项中自由出现的个体变项y取何值，取何值，A(y)应该均为真。应该均为真。(2)取代自由出现的取代自由出现的y的的x也不能在也不能在A(y)中约束出现。中约束出现。存在量词引入规则存在量词引入规则(简称简称EG规则或规则或EG)该式成立的条件是：该式成立的条件是：(1)c是特定的个体常项。是特定的个体常项。(2)取代取代c的的x不能在不能在A(c)中出现过。中出现过。存在量词消去规则存在量词消去规则(简记为简记为EI规则或规则或EI)该式成立的条件是：该式成立的条件是：(1)c是使是使A为真的特定的个体常项。为真的特定的个体

11、常项。(2)c不在不在A(x)中出现。中出现。(3)若若A(x)中中除除自自由由出出现现的的x外外，还还有有其其它它自自由由出现的个体变项，此规则不能使用。出现的个体变项，此规则不能使用。第六章第六章 集合代数集合代数主要内容主要内容l集合的两种表示法集合的两种表示法l集合与元素之间的隶属关系、集合之间的包含关系的区集合与元素之间的隶属关系、集合之间的包含关系的区别与联系别与联系l特殊集合：空集、全集、幂集特殊集合：空集、全集、幂集l文氏图及有穷集合的计数文氏图及有穷集合的计数l集合的集合的,等运算以及广义等运算以及广义,运算运算l集合运算的算律及其应用集合运算的算律及其应用基本要求基本要求l

12、熟练掌握集合的两种表示法熟练掌握集合的两种表示法l能够判别元素是否属于给定的集合能够判别元素是否属于给定的集合l能够判别两个集合之间是否存在包含、相等、真包含等关能够判别两个集合之间是否存在包含、相等、真包含等关系系l熟练掌握集合的基本运算（普通运算和广义运算）熟练掌握集合的基本运算（普通运算和广义运算）l掌握证明集合等式或者包含关系的基本方法掌握证明集合等式或者包含关系的基本方法第七章第七章 二元关系二元关系 主要内容主要内容l有序对与笛卡儿积的定义与性质有序对与笛卡儿积的定义与性质l二元关系、从二元关系、从A到到B的关系、的关系、A上的关系上的关系l关系的表示法：关系表达式、关系矩阵、关系

13、图关系的表示法：关系表达式、关系矩阵、关系图l关系的运算：定义域、值域、域、逆、合成、限制、像、关系的运算：定义域、值域、域、逆、合成、限制、像、幂幂l关系运算的性质关系运算的性质:A上关系的自反、反自反、对称、反对上关系的自反、反自反、对称、反对称、传递的性质称、传递的性质lA上关系的自反、对称、传递闭包上关系的自反、对称、传递闭包lA上的等价关系、等价类、商集与上的等价关系、等价类、商集与A的划分的划分lA上的偏序关系与偏序集上的偏序关系与偏序集基本要求基本要求l熟练掌握关系的三种表示法熟练掌握关系的三种表示法 l能够判定关系的性质（等价关系或偏序关系）能够判定关系的性质（等价关系或偏序关

14、系）l掌握含有关系运算的集合等式掌握含有关系运算的集合等式l掌握等价关系、等价类、商集、划分、哈斯图、偏序集等掌握等价关系、等价类、商集、划分、哈斯图、偏序集等概念概念l计算计算A B,dom R,ranR,fldR,R 1,R S,Rn,r(R),s(R),t(R)l求等价类和商集求等价类和商集A/Rl给定给定A的划分的划分，求出，求出 所对应的等价关系所对应的等价关系l求偏序集中的极大元、极小元、最大元、最小元、上界、求偏序集中的极大元、极小元、最大元、最小元、上界、下界、上确界、下确界下界、上确界、下确界l掌握基本的证明方法掌握基本的证明方法 证明涉及关系运算的集合等式证明涉及关系运算的

15、集合等式 证明关系的性质、证明关系是等价关系或偏序关系证明关系的性质、证明关系是等价关系或偏序关系第八章第八章 习题课习题课主要内容主要内容l函数，函数，从从A到到B的函数的函数f:AB，BA，函数的像与完全原像，函数的像与完全原像l函数的性质：单射、满射、双射函数函数的性质：单射、满射、双射函数l重要函数：恒等函数、常函数、单调函数、集合的特征函重要函数：恒等函数、常函数、单调函数、集合的特征函数、自然映射数、自然映射l集合等势的定义与性质集合等势的定义与性质l集合优势的定义与性质集合优势的定义与性质l重要的集合等势以及优势的结果重要的集合等势以及优势的结果l可数集与不可数集可数集与不可数集

16、l集合基数的定义集合基数的定义基本要求基本要求l给定给定f,A,B,判别判别f 是否为从是否为从A到到B的函数的函数l判别函数判别函数f:AB的性质（单射、满射、双射）的性质（单射、满射、双射）l熟练计算函数的值、像、复合以及反函数熟练计算函数的值、像、复合以及反函数l证明函数证明函数f:AB的性质（单射、满射、双射）的性质（单射、满射、双射）l给定集合给定集合A,B，构造双射函数，构造双射函数f:ABl能够证明两个集合等势能够证明两个集合等势l能够证明一个集合优势于另一个集合能够证明一个集合优势于另一个集合l知道什么是可数集与不可数集知道什么是可数集与不可数集l会求一个简单集合的基数会求一个简单集合的基数