原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
（2）掌握基本的等价式和蕴涵式，并掌握常用的等价式和蕴涵式的证明方法（替换规则和推论规则）。
;（3）要能准确地求出命题公式的主析取范式和主合取范式。掌握主析取范式和主合取范式与真值表的对应关系，主析取范式和主合取范式的关系。;（4）掌握命题符号化的原则；
（5）熟练掌握四个推论规则（P、T、CP、F）进行有效性论证。;第2章 谓词逻辑重点;第2章 谓词逻辑重点（续）;第三章 集合;第四章二元关系;第四章二元关系（续）;第四章 函数;一、主要内容;1、函数的基本概念;2、函数的性质;3、特种函数;4、复合函数;5、逆函数;相关定理;相关定理（续）;二、本章要点;本章要点（续）;本章要点（续）;本章要点（续）;第五章 代数结构;一、主要内容;1.代数运算;2.二元运算的性质;3．二元运算的特异元;(1)幺元;(2)零元;(3)逆元;4.可约的或可消去的;5.代数系统;6.同态与同构的概念;7.代换性质和同余关系;8.商代数与积代数;商代数与积代数（续）;9.半群和群;子群;阿贝尔群和循环群;二、本章要点;本章要点（续）;(7)掌握半群、独异点、群、子群的概念及相关的证明。
(8)理解阿贝尔群、循环群的概念。;第七章 图论要点;图论要点（续）;图论要点（续）;4、特殊图：
（1）欧拉图、二部图、平面图（简单了解基本概念）；
（2）树（没有任何回路的连通无向图），如果T为树，则：m=n-1（m为边数，n为结点数）；
（3）掌握树的六个等价定义,掌握最小生成树。
（4）掌握有向树、根树（树根、树叶、分支结点）、有序树、m叉树、完全m叉树、二叉树、最优二叉树的概念。
文档评论（0）