离散 一章－五章总结学习资料_第1页
离散 一章－五章总结学习资料_第2页
离散 一章－五章总结学习资料_第3页
离散 一章－五章总结学习资料_第4页
离散 一章－五章总结学习资料_第5页
已阅读5页，还剩6页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

主要内容命题逻辑基本概念命题逻辑等值演算命题逻辑推理理论一阶逻辑基本概念一阶逻辑等值演算与推理第一部分数理逻辑1第一章命题逻辑的基本概念主要内容命题与联结词命题及其分类联结词与复合命题命题公式及其赋值2第一章主要内容命题、真值、简单命题与复合命题、命题符号化联结词

,

,

,

,

及复合命题符号化命题公式及层次公式的类型真值表及应用基本要求深刻理解各联结词的逻辑关系,熟练地将命题符号化会求复合命题的真值深刻理解合式公式及重言式、矛盾式、可满足式等概念熟练地求公式的真值表，并用它求公式的成真赋值与成假赋值及判断公式类型3主要内容等值式与基本的等值式等值演算与置换规则析取范式与合取范式，主析取范式与主合取范式联结词完备集可满足性问题与消解法第二章命题逻辑等值演算4第二章深刻理解等值式的概念牢记基本等值式的名称及它们的内容熟练地应用基本等值式及置换规则进行等值演算理解文字、简单析取式、简单合取式、析取范式、合取范式的概念深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值的关系，并理解简单析取式与极小项的关系熟练掌握求主范式的方法（等值演算、真值表等）会用主范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值会将公式等值地化成指定联结词完备集中的公式会用命题逻辑的概念及运算解决简单的应用问题掌握消解规则及其性质会用消解算法判断公式的可满足性5主要内容推理的形式结构推理的正确与错误推理的形式结构判断推理正确的方法推理定律自然推理系统P形式系统的定义与分类自然推理系统P在P中构造证明:直接证明法、附加前提证明法、归谬法第三章命题逻辑的推理理论6要求理解并记住推理形式结构的两种形式：

1.(A1

A2

…

Ak)

B2.前提：A1,A2,…,Ak

结论：B熟练掌握判断推理是否正确的不同方法（如真值表法、等值演算法、主析取范式法等）牢记P系统中各条推理规则熟练掌握构造证明的直接证明法、附加前提证明法和归谬法会解决实际中的简单推理问题7主要内容一阶逻辑命题符号化个体词、谓词、量词一阶逻辑命题符号化一阶逻辑公式及其解释一阶语言合式公式合式公式的解释永真式、矛盾式、可满足式第四章一阶逻辑基本概念8要求准确地将给定命题符号化理解一阶语言的概念深刻理解一阶语言的解释熟练地给出公式的解释记住闭式的性质并能应用它深刻理解永真式、矛盾式、可满足式的概念,会判断简单公式的类型9主要内容一阶逻辑等值式与基本的等值式置换规则、换名规则、代替规则前束范式自然推理系统NL及其推理规则第五章一阶逻辑等值演算与推理10要求深刻理解并牢记一阶逻辑中的重要等值式,并能准确而熟练地应用它们．熟练正确地使用置换规则、换名规则、代替规则．熟练地求出给定公式的前束范式．深刻理解自然推理系统NL

的定义，

人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论