- 1、本文档共2页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
总复习(一)第一章
1. 基本概念
命题、命题常元、命题变元、命题的解释或赋值、原子命题(简单命题)、复合命题、否定联结词、合取、析取、可兼或、不可兼或、条件、双条件、常值命题、命题变量、命题公式、命题公式的解释、真值表、永真公式(重言式)、永假公式(矛盾式,不可满足公式)、可满足公式、公式的等价、对偶(公)式、对偶原理、子句、短语、析取范式、合取范式、主析取
(主合取)范式、极小项、极大项二、基本要求
1、深刻理解五种常用联结词的涵义,并能准确地应用它们将基本命题及复合命题符号化。
2、熟练地写出给定命题公式的真值表
3、牢记基本等价式的名称及它们的内容;
4、熟练地应用基本等价式及置换规则进行等价演算
5、熟练掌握求主析取(主合取)范式的方法
6、理解并牢记9类基本蕴涵关系式和蕴涵的基本性质
7、牢记各条推理规则的内容及名称
8、熟练掌握推理的各种方法(直接法、利用CP规则、反证法)第二章
全总个体域(全论域)、全称量词、存在量词、特性谓词、指导(作用)变元、辖域(作用域)、约束变元、自由变元、约束变元的改名规则、自由变元的代入规则、常量符号、变量符号、函数符号、谓词符号、谓词公式、公式的解释、永真公式(重言式)、永假公式(矛盾式,不可满足公式)、可满足公式、前束范式、母式、前束合取(或析取)范式、Skolem范式、US(全称指定规则)、ES(存在指定规则)、UG(全称推广规则)、EG(存在推广规则)
能准确地将给定命题符号化
深刻理解全称量词、存在量词及量词的辖域、全总个体域的概念能准确理解约束变元(量)和自由变元的概念
掌握约束变元的改名规则和自由变元的代入规则能熟练地运用US、ES、UG、EG规则进行推理第四、五章
关系、n元关系、空关系、二元关系、全关系、关系矩阵;关系的交、并、补、差、复合、幂、逆;自反闭包、对称闭包、传递闭包;等价关系、以m为模的同余关系、等价类、生成元、偏序关系、偏序集、偏序集的哈斯图、最大元、最小元、极大元、极小元、上界、下界、最小上界、最大下界、全序关系、良序关系、良序集
1、熟练掌握关系的性质和运算
2、熟练运用Warshall算法计算关系的传递闭包
3、熟练掌握偏序关系的哈斯图的画法以及由哈斯图给出相应的偏序关系
4、熟练掌握求偏序集中子集的最大元、最小元、极大元、极小元、上界、下界、最小上界、最大下界的方法
5、熟练掌握利用关系的性质和定义进行证明第六章
一、基本概念
复合函数、单射、满射、双射、置换、单位(恒等)置换、循环、逆函数
二、基本要求
1、熟练掌握判断函数是否为单射、满射、双射的方法
2、熟练掌握置换的复合运算和置换表示成循环的积的方法第十章
无序对、结点、边、阶、无向图、有向图、邻接点、邻接边、环、孤立结点、零图、平凡图、(n,m)图、简单图、基图、广义图(伪图)、多重图、平行边、赋权图、无权图、结点的度数、出度、入度、正则图、k度正则图、子图、真子图、生成子图、平凡子图、删点子图、删边子图、点诱导子图、边诱导子图、完全图、补图、二部图、完全二部图、图的同构
道路、道路的长度、零道路、开道路、闭道路、简单道路、回路、基本道路、圈、道路图、圈图、距离、连通图、非连通图、图的支、点割集、基本割集、割点、边割集、基本边割集、割边、连通度、边连通度、可达的、单向连通图、强连通图、弱连通图、强分图、单向分图、弱分图、邻接矩阵、零矩阵、单位矩阵、可达性矩阵
二、基本要求
1、熟练掌握Euler基本定理及推论
2、熟练掌握邻接矩阵、可达性矩阵的计算方法
3、熟练掌握强分图的计算方法
4、熟练掌握利用邻接矩阵计算图中道路和回路数目的方法
第十一、十二、十三章一、基本概念
树、树叶、枝点、生成树、树枝、树补边、最小生成树、有向树、根树、有序树、子树、二叉树、完全二叉树、最优二叉树、平面图、面、对偶图、欧拉道路、欧拉图、哈密尔顿道路、哈密尔顿圈、哈密尔顿图
二、基本要求
1、熟练掌握树的六个等价命题
2、熟练掌握利用Kruskal算法求最小生成树
3、熟练掌握判定平面图的三个必要条件
4、熟练掌握判定欧拉图和欧拉道路的充分必要条件
5、熟练掌握判定哈密尔顿图和哈密尔顿道路的几个充分和必要条件第十四~十七章
一、基本概念
代数系统、单位元或幺元、零元、幂等元、逆元、半群、含幺半群、群、子半群、群的阶、子群、生成子群、交换群、循环群、生成元、元素的周期、右陪集、左陪集、陪集的性质、子群的指数、不变子群(或正规子群)、环、含零因子环、交换环、含幺环、整环、子环、域、格、代数格、偏序格、子格、分配格、有界格、有补格、有补分配格、布尔格、布尔代数
二、基本要求
1、熟练掌握群、环、域的基本性质和证明方法(按定义证明和反证法)
您可能关注的文档
- 九、电子表格总结.docx
- 美国国家数学节.docx
- 美国国内对希拉里参选下任总统的呼声日高.docx
- 离交施工组织设计.docx
- 离散 2分析和总结.docx
- 离散数学补充习题.docx
- 离散数学阶段性作业21.docx
- 离散数学阶段性作业41.docx
- 离散数学课后习题答案.docx
- 离散数学实验报告.docx
- 北师大版小学数学三年级上册《寄书》教学设计.docx
- 统编版(部编版)语文二年级上册《雪孩子》教学设计.docx
- 统编版(部编版)语文二年级上册《八角楼上》教学设计.docx
- 北师大版小学数学三年级上册《长方形周长》教学设计.docx
- 北师大版小学数学三年级上册《丰收了》教学设计.docx
- 统编版(部编版)语文二年级上册《夜宿山寺》教学设计.docx
- 统编版(部编版)语文二年级上册《风娃娃》教学设计.docx
- 统编版(部编版)语文二年级上册《朱德的扁担》教学设计.docx
- 统编版(部编版)语文二年级上册《难忘的泼水节》教学设计.docx
- 统编版(部编版)语文二年级上册《纸船和风筝》教学设计.docx
最近下载
- 米LED路灯灯杆检验报告.pdf VIP
- 临床诊疗指南肾脏病学分册_全文.pdf
- 中小学校园防疫科普讲义中小学防控诺如病毒主题班会课件.pptx VIP
- 安永-中国房地产行业2023年业绩概览及新质态下房地产行业发展新趋势.pdf VIP
- Nikon 尼康微型单电相机 Z系列Z 6 参考手册(完整说明书)Z7Z6RM_(Sc)05.pdf
- 2024年义务教育新课标新教材培训学习PPT课件:小学语文新教材内容整体变化解读.pptx
- 上海市高一信息技术上学期期中试题.docx
- 支架和钢管柱贝雷梁现浇简支箱梁施工安全质量控制要点.pptx VIP
- 名著导读《朝花夕拾》课件(共47张ppt).pptx VIP
- 商用车行业专题:全球客车潜力可观,中国车企大有可为.docx VIP
文档评论(0)