期中考试复习要点(1023).pptVIP

下载本文档

1
0
约小于1千字
约 5页
2024-08-04 发布于湖北
举报
版权申诉

期中考试复习要点(1023).ppt

1、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

期中考试复习要点

第一章命题逻辑1.1命题符号化，特别是充分和必要条件的区分。重点：P4，例1.6；P33，习题1.51.2公式类型概念，三种类型。掌握P6定义1.3等值演算公式及作用，判断公式类、等值证明、主析〔合〕取范式求解。掌握P9公式，会判断公式类别，参考例1.10；会求主范式；P34，习题1.81.5主析(合)取范式求解，真值表法、等值演算法〔4个步骤〕掌握P16-18求解过程.例1.14

第二章一阶逻辑2.1掌握利用谓词命题符号化，全称量词、存在量词、特性谓词的使用。理解P41，例2.5；P53，习题2.32.2约束与自由变元的概念、给定解释能判断公式的真假。参考P43-44，例2.6，例2.8，给定解释会判断真假2.3一阶逻辑等值式，掌握定理；会求前束范式求法参照P48，例2.11

第三章集合3.1幂集的概念，会求集合的幂集，特别注意有空集作为元素时候不要混淆。参考P59，例3.3；3.2集合的根本运算，尤其证明集合相等。概念法，文氏图法、等价公式法。参考P75，习题3.163.3集合中元素的计数，定理3.2。掌握计数公式，例

第四章二元关系和函数4.1笛卡尔积与二元关系的概念4.2关系的运算，关系的定义域值域、合成、像，会求R的n次幂。参考P83，例4.7；P85，例4.84.3关系的性质，自反、对称、传递、反自反、反对称概念。必须会通过概念、图、以及矩阵判断性质。关系运算后的性质P88，表4-2.