《离散数学》教学大纲

合集下载

《离散数学》课程教学大纲.doc

《离散数学》课程教学大纲.doc

《离散数学》教学大纲一、课程的性质和任务课程性质:离散数学是现代数学的一个重要分支,是计算机科学中基础理论的核心课程,是与信息网络及多媒体技术专业的一门必修课。

主要任务:使学生掌握离散数学的基本理论、基本知识;培养学生的抽象思维和慎密概括的能力。

二、课时分配序号课题教学时数小计讲课习题课及单元测验—-命题逻辑2102谓词逻辑12102三集合862四关系12102五图论20182六机动4总计685410三、课程教学内容第一章命题逻辑理解命题与命题公式概念;掌握命题联结词概念及真值表;会求命题公式真值表;掌握等价重言式和蕴含重言式;理解对偶与对偶原理;掌握命题演算的揄规则和证明方法;会求命题公式的标准形式。

重点:命题与命题公式概念;命题联结词;重言式;对偶;命题演算的推理规则和证明方法;命题公式的标准形式。

难点:重言式;命题演算的推理规则和证明方法;命题公式的标准形式。

第二章谓词逻辑掌握个体、谓词与命题函数概念;掌握量词概念;理解谓词公式概念,能进行自然语言与符号语言间的翻译;掌握谓词演算的推理理论和推理方法。

重点:个体、谓词与命题函数;量词;谓词公式与翻译;谓词演算。

难点:谓词演算。

第三章集合掌握集合基本概念;掌握集合的运算与运算定律;掌握集合对称美;理解集合的划分与覆盖;理解容斥原理,会利用容斥原理解决实际问题。

重点:集合基本概念;集合的运算与运算定律;对称差;容斥原理的应用。

特点:幕集;对称差;集合的划分与覆盖;容斥原理的应用。

第四章关系掌握序偶与笛卡尔积概念;掌握关系,关系矩阵和关系图;掌握关系的;掌握关系的性质;掌握关系的闭包运算;理解等价关系与等价类;理解偏序概念,会作哈斯图。

重点:序偶与笛卡尔积;关系;关系的运算;关系的性质;关系的闭包运算; 等价关系,偏序及哈斯图。

难点:关系概念;关系的运算、性质、闭包运算;偏序及哈斯图。

第五章图论理解图的基本概念;理解路与圈和连通性;了解图的矩阵表示;理解有向图与可达性矩阵;了解欧拉图与哈密尔顿图;掌握树的概念;掌握根树及其应用;了解平面图概念,掌握欧拉公式。

《离散数学》教学大纲

《离散数学》教学大纲

《离散数学》教学大纲(Discrete Mathematics)适用专业:电子信息类课程类别:学科基础课课程学时:48课程学分:3.0先修课程:高等数学、线性代数等一、课程简介离散数学是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支,是计算机科学中基础理论的核心课程,是计算机科学与技术的支撑学科。

它在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能与机器人、数据库、网络、计算机图形学、算法设计与分析、理论计算机科学基础等必不可少的先行课程。

通过离散数学的学习,不但可以掌握离散结构的描述工具和处理方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。

二、教学目的与任务离散数学是一门培养学生缜密思维、严格推理,具有综合归纳分析能力的课程。

通过本课程的学习,使学生有一定的严格逻辑推理与抽象思维能力,掌握离散量的处理及运算技能,能够将离散数学应用到解决计算机技术中的实际问题中。

不仅能为学生奠定计算机科学的专业基础,并且能为将后续课程的学习及将来开发软、硬件技术及研究、应用提供有力的工具。

三、课程内容第1章命题逻辑的基本概念1.1命题与联结词1.2命题公式及其赋值第2章命题逻辑等值演算2.1等值式2.2析取范式与合取范式* 2.3联结词的完备集* 2.4可满足性问题与消解法第3章命题逻辑的推理理论3.1推理的形式结构3.2自然推理系统P3.3消解证明法第4章一阶逻辑基本概念4.1一阶逻辑命题符号化4.2一阶逻辑公式及其解释第5章一阶逻辑等值演算与推理5.1一阶逻辑等值式与置换规则5.2一阶逻辑前束范式* 5.3一阶逻辑的推理理论第6章集合代数6.1集合的基本概念6.2集合的运算6.3有穷集的计数6.4集合恒等式第7章二元关系7.1有序对与笛卡儿积7.2二元关系7.3关系的运算7.4关系的性质7.5关系的闭包7.6等价关系与划分7.7偏序关系第8章函数8.1函数的定义与性质8.2函数的复合与反函数* 8.3双射函数与集合的基数* 8.4一个电话系统的描述实例第14章图的基本概念14.1图14.2通路与回路14.3图的连通性14.4图的矩阵表示* 14.5图的运算第15章欧拉图与哈密顿图15.1欧拉图15.2哈密顿图15.3最短路问题、中国邮递员问题与货郎担问题第16章树16.1无向树及其性质16.2生成树16.3根树及其应用三、课程学时分配、教学内容与教学基本要求四、教学方法与教学手段说明该课程教学方式主要有:课堂教学、交互学习、课后作业。

离散数学教学大纲全文优选

离散数学教学大纲全文优选

最新精选全文完整版(可编辑修改)《离散数学》教学大纲一、课程概述1. 课程研究对象和研究内容离散数学是计算机各专业的主干课之一,本课程的目的是使学生懂得怎样在一个通用的层面上,利用离散结构去描述和理解计算机科学的基本问题和一般的求解方法。

训练学生在符号处理层面上基于离散性思维的构造性思想。

在计算机科学中不仅要证明解的唯一性,而更重要的是将解构造出来和证明构造的有效性。

构造性是计算机科学的最基本的思维,构造的根据是一类问题的离散结构。

通过本课程的学习,使学生能了解和掌握构造性思维方法;在开发和利用计算机系统过程中,在最通用层面上利用离散结构去塑造和设计计算机系统;对计算机系统中出现的问题能在符号层面上认识和寻找解决的办法;并能使用有效的数学工具和逻辑工具。

离散数学的整个教学就是围绕着“能满足构造性思维的离散结构是什么?”通过本门课程的学习,使学生从两个方面牢固认识、理解和掌握离散结构:一种是由事物和事物的性质和关系(用谓词公式表示)来确定的离散结构,并能用形式符号的方法和等价的图形方法来描述;另一种是以关于事物的生成操作(在符号层面用代数运算表示)来确定的离散结构。

2. 课程在整个课程体系中的地位《离散数学》是计算机专业的必修课。

《离散数学》的先行课是《线性代数》。

二、课程目标1.知道《离散数学》这门学科的性质、地位和独立价值。

知道这门学科的研究范围、基本框架、研究方法、学科进展。

2.理解各种离散结构的基本思想、构造方法、主要概念和性质。

3.熟练掌握各种基本公式(如等值公式)、基本方法(如推理方法)和计算、证明过程及抽象方法,培养对数学模型问题的分析能力以及对数学方法的应用能力。

4.了解离散数学在计算机中各分支的一些应用。

三、课程内容和要求这门学科的知识与技能要求分为知道、理解、掌握、学会四个层次。

这四个层次的一般涵义表述如下:知道———是指对这门学科和教学现象的认知。

理解———是指对这门学科涉及到的概念、原理、策略与技术的说明和解释,能提示所涉及到的教学现象演变过程的特征、形成原因以及教学要素之间的相互关系。

离散数学教学大纲精选全文

离散数学教学大纲精选全文

精选全文完整版可编辑修改离散数学教学大纲一、教学目标本课程的教学目标是:1.学习和掌握离散型关系结构的构成及分析方法,包括:集合论的主要内容:集合的基本概念、二元关系、函数、自然数和基数等;图论的主要内容:图的基本概念、欧拉图与哈密尔顿图、树、图的矩阵表示、平面图、图的着色、支配集、覆盖集、独立集与匹配、带权图及其应用等;2. 学习和掌握离散型代数结构的构成、性质和分析方法,熟悉半群、群、环、域、格、布尔代数等有着重要应用背景的代数模型;3. 学习和掌握组合配置的存在性证明和计数方法,并用于离散结构的性质分析。

4. 学习和掌握命题逻辑、一阶谓词逻辑的基本概念和推理方法。

5. 能够理论联系实际,用上述离散数学的描述工具和分析方法对实践中的离散系统进行建模和分析。

6. 通过严谨证明及正确逻辑推理的训练,进一步培养学生的抽象思维、计算思维能力和专业素质。

二、教学内容1.集合(教材第一章)●引言●预备知识(命题逻辑)●预备知识(一阶谓词逻辑)●集合的概念和集合之间的关系●集合的运算●基本的集合恒等式2.二元关系(教材第二章)●有序对与卡氏积●二元关系●关系的表示和关系的性质●关系的幂运算和闭包●等价关系和划分●序关系3.函数(教材第三章)●函数的基本概念、性质、合成、反函数4.自然数(教材第四章)●自然数的定义●自然数的性质5.基数(教材第五章)●集合的等势、有穷集合与无穷集合●基数和基数的比较与运算6.图(教材第七章)●图的基本概念●通路与回路●无向图和有向图的连通性●无向图的连通度7.欧拉图与哈密顿图(教材第八章)●欧拉图●哈密顿图8.树(教材第九章)●树9.图的矩阵表示(教材第十章)●图的矩阵表示10.平面图(教材第十一章)●平面图的基本概念●欧拉公式与平面图的判断●平面图的对偶图与外平面图●平面图与哈密顿图11.图的着色(教材第十二章)●点着色和色多项式●平面图着色和边着色12.支配集、覆盖集、独立集与匹配(教材第十三章)●支配集、点覆盖集、点独立集●边覆盖数与匹配●二部图中的匹配13.带权图及其应用(教材第十四章)●中国邮递员问题和货郎问题14. 代数系统(教材第十五章)●二元运算及其性质●代数系统、子代数和积代数●代数系统的同态与同构●同余关系与商代数15. 半群与独异点(教材第十六章)●半群与独异点16 . 群(教材第十七章)●群的定义和性质、子群●循环群、变换群与置换群●群的分解、正规子群与商群、群的同态与同构17. 环与域(教材第十八章)●环与域18. 格与布尔代数(教材第十九章)●格的定义和性质、子格、格同态与直积●模格、分配格、有补格与布尔代数19. 组合存在性定理(教材第二十章)●鸽巢原理和Ramsey定理20. 基本的计数公式(教材第二十一章)●两个计数原则、排列组合●二项式定理与组合恒等式●多项式定理21. 组合计数方法(教材第二十二章)●递推方程的公式解法●递推方程的其他求解方法●生成函数的定义和性质●生成函数、指数生成函数及应用●Catalan数与Stirling数22. 组合计数定理(教材第二十三章)●包含排斥原理与对称筛公式●Burnside引理与Polya定理23. 命题逻辑(教材第二十六章)●引言●命题和联结词●命题形式和真值表●联结词的完全集●推理形式●命题演算自然推理形式系统N●命题演算形式系统P●N与P的等价性●赋值与等值演算●命题范式●可靠性、和谐性与完备性24. 一阶谓词逻辑(教材第二十七章)●一阶谓词演算的符号化●一阶语言●一阶谓词演算形式系统NL●一阶谓词演算形式系统KL●NL与KL的等价性●KL的解释与赋值●KL的可靠性与和谐性●KL的和谐公式集三、教学方式以课堂讲授为主,辅以作业和练习,并配备助教对作业进行批改。

《离散数学》教学大纲

《离散数学》教学大纲

第一部分大纲说明一、课程的性质、目的与任务离散数学是中央广播电视大学电子信息类计算机科学与技术专业的一门统设必修学位课程。

本课程是一门理论性较强的课程,通过本课程的学习,使学生具有现代数学的观点和方法,并初步掌握处理离散结构所必须的描述工具和方法。

同时,也要培养学生抽象思维和慎密概括的能力,使学生具有良好的开拓专业理论的素质和使用所学知识,分析和解决实际问题的能力,为学生以后学习计算机基础理论与专业课程打下良好的基础。

二、与相关课程的衔接、配合、分工后续课程:数据结构、数据库应用技术、操作系统等课程。

三、课程的基本教学要求本课程是计算机科学与技术专业的基础核心课程,主要内容包括集合论、图论与数理逻辑等三个方面的内容。

具体要求为:1.了解离散数学的主要组成部分,各个部分所涉及的基本内容,及其在计算机科学与技术领域中的应用;2.理解离散数学的的基本概念、结论、算法、应用方法及适用范围;3.掌握离散数学的的基本推理与证明过程、基本算法及应用方法。

四、课程的教学方法和教学形式建议1.根据课程特点,建议采用多种教学媒体讲解、应用事例介绍等教学手段相结合的教学模式进行教学。

2.保证提供一定的教学辅导手段与途径,及时解答学生的疑问,同时注意培养学生独立思考问题和解决问题的能力。

3.充分利用网络教学技术进行授课、答疑和讨论。

五、教学要求的层次课程的教学要求分为了解、理解和掌握三个层次。

了解:要求学生能正确判别有关概念、结论和方法。

理解:要求学生能正确理解有关概念、结论、算法和方法的含义,并且能进行一定的逻辑推理与数学证明。

掌握:要求学生在理解的基础上能够应用所学知识解决实际问题。

第二部分教学媒体与教学过程建议一、学分与学时分配课程教学的课内时数为72学时,4学分,第二学期开设。

下表给出该课程的主要教学内容,视频课程和辅导课程的学时分配。

序号教学内容课内学时电视课学时流媒体课件学时辅导学时1 绪论 12 集合论 5 2 133 图论 6 3 174 数理逻辑 6 3 165 复习 2 2 2合计20 10 48二、多种媒体教材的总体说明本课程的教学媒体包括文字教材、视频教材、CAI课件、网络课程和网上教学等多种媒体。

《离散数学》教学大纲

《离散数学》教学大纲

《离散教学》教学大纲
一、课程基本情况:
总学时:36学时
教材:《离散教学导论》徐洁磐编著,高等教育出版社。

二、课程的性质,任务和目的:
离散教学是现代数学的一个重要分支,是计算机科学中的核心课程。

本课程的任务与目的是使学生通过学习数理逻辑,集合论,图论,代数结构与布子代数等多方面的知识,培养学生严格的逻辑推理能力,抽象思维及缜密的概括能力。

三、课程主要内容与学时分配
四、教学手段(方法)及成绩评定
1、教学手段:采用传统教学方式
2、成绩评定:平时成绩(满分20分)+期末成绩(卷面成绩*80%)=该课成绩。

离散数学数学教学大纲

离散数学数学教学大纲

离散数学数学教学大纲一、课程基本信息课程名称:离散数学课程类别:专业基础课学分:X总学时:X先修课程:高等数学、线性代数二、课程性质与目标离散数学是现代数学的一个重要分支,是计算机科学与技术专业的核心基础课程之一。

它所研究的对象是离散量的结构和相互关系,其内容涵盖了数理逻辑、集合论、代数结构、图论等多个领域。

通过本课程的学习,学生将掌握离散数学的基本概念、基本理论和基本方法,培养抽象思维能力、逻辑推理能力和解决实际问题的能力,为后续学习计算机专业课程如数据结构、算法设计与分析、数据库原理等打下坚实的数学基础。

三、课程内容与教学要求(一)数理逻辑1、命题逻辑命题与联结词:理解命题的概念,掌握常见的联结词(如“且”“或”“非”“蕴含”“等价”)的含义和真值表。

命题公式与赋值:掌握命题公式的定义和构造方法,能够计算命题公式在给定赋值下的真值。

命题逻辑的等值演算:熟悉常见的命题逻辑等值式,能够运用等值演算进行命题公式的化简和证明。

命题逻辑的推理理论:掌握推理的形式结构和推理规则,能够进行简单的命题逻辑推理。

2、一阶逻辑一阶逻辑基本概念:理解个体词、谓词、量词的概念,掌握一阶逻辑公式的定义和解释。

一阶逻辑等值演算与推理:熟悉一阶逻辑的等值式和推理规则,能够进行一阶逻辑的化简和推理。

(二)集合论1、集合的基本概念:掌握集合的定义、表示方法和集合之间的关系(如子集、真子集、相等)。

2、集合的运算:熟练掌握集合的交、并、补、差等运算,能够用文氏图表示集合运算的结果。

3、集合的基数:了解集合基数的概念,掌握有限集和无限集的区别。

4、幂集:掌握幂集的定义和计算方法。

(三)代数结构1、二元运算及其性质:理解二元运算的概念,熟悉常见的二元运算(如加法、乘法),掌握二元运算的性质(如封闭性、交换律、结合律、分配律等)。

2、代数系统:掌握代数系统的定义和构成要素,能够判断给定的系统是否为代数系统。

3、群:理解群的定义和性质,掌握群的判定方法,了解循环群和置换群的基本概念。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

“离散数学”课程教学大纲课程英文名称:Discrete Methemetics课程编号:05141201 课程类型:专业核心课总学时:64 学分:4使用对象:信息与系统工程学院计算机专业(民、汉本)选修课程:高等数学、线形代数、C语言使用教材及参考书教材:《离散数学》,耿素云、屈婉玲编著,高等教育出版社,2004年1月,面向21世纪教材。

参考书:《离散数学》,左孝凌,刘永才编著,上海科学技术出版社,1988年2月—课程性质、目的和任务离散数学是计算机科学的理论基础,对于培养学生的逻辑思维和分析问题、解决问题的能力起着重要作用。

通过离散数学的教学,不仅能为学生的专业课学习及将来从事的软、硬件开发和应用研究打下坚实的基础,同时也能培养他们抽象思维和严格逻辑推理能力。

二、教学基本要求离散数学是现代数学的一个重要分支,是计算机科学中基础理论的核心课程。

它以研究离散量的结构和相互之间的关系为主要目标,其研究对象一般是有限个或可数个元素,因此它充分描述了计算机科学离散性的特点。

本课程包括数理逻辑、集合论、代数结构,图论等四个内容。

考虑到教学时数,要求学生掌握只选数理逻辑、集合论、图论等内容。

三、教学内容及要求第一部分:数理逻辑第一章命题逻辑基本概念1.分清简单命题(既原子命题)与复合命题。

2.深刻理解5种常用联结词的涵义,并能准确地应用它们将基本复合命题及复合命题符号化。

3.分清“相容或”与“排斥或”。

4.深刻理解命题公式的赋值、成真赋值、成假赋值,从而准确地判断出公式的类型。

第二章命题逻辑等值演算1.深刻理解等值式的定义,知道公式之间的等值关系具有自反性、对称性、传递性。

2.牢记基本等值式的名称及它们的内容。

3.熟练地应用基本等值式及置换规则进行等值演算。

4.了解文字、简单析取式、简单合取式、析取范式,合取范式等概念。

5.深刻理解极小项、极大项的定义,名称、下角标与成真赋值的关系,主析取范式与主合取范式。

6.熟练掌握求主析取(主合取)范式的方法。

7.会用主析取范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值。

8.会将任何命题公式等值地化成某联结词完备集中的公式。

第三章命题逻辑的推理理论1.理解并记住推理形式结构的以下两种形式.(1)(A1∧A2∧…∧A k) →B(2)前提:A1A2...A k结论:B2.熟练掌握判断推理是否正确的不同方法,如真值表法、等值演算法、主析取范式法等。

3.牢记P系统中各条推理规则的内容及名称。

4.熟练掌握在P系统中构造证明的直接证明法、附加前提证明法、归谬法。

5.会将日常生活中、社会活动中、科学领域中的某些推理形式化,即写出符号化形式的前提、结论,并能判断推理是否正确,对于正确的推理能在P系统中给出证明。

第四章:一阶逻辑基本概念1.准确地将给定命题符号化:分清在4.1节中给出(1)一(7)或更多种的符号化形式,特别注意两个基本公式中量词与联结词的搭配情况,其实(5)、(6)、(7)等都是两个基本公式(3)与(4)的应用。

2.深刻理解永真式、矛盾式、可满足式的概念及其判别方法:准确写出公式的真值表。

3.深刻理解闭式的概念及闭式的性质(闭式在任何解释下都是命题)。

4.对于给定的解释会判断给定公式是否成为命题,对是命题的能判断出是真命题,还是假命题。

第五章一阶逻辑等值演算与推理1.深刻理解并牢记一阶逻辑中的重要的等值式,并能准确而熟练地应用他们2.熟练又正确地使用置换规则、换名规则、代替规则3.准确地求出给定公式的前束范式4.深刻理解自然推理系统F的定义,牢记F中的各条推理规则,特别是要正确使用UI、UG、EG、EI 4条推理规则,使用中应注意以下几点:(1)一定对前束范式才能使用UI、UG、EG、EI规则.对不是前束范式的公式要使用它们,一定先求出公式的前束范式;(2)记住UI、UG、EG、EI各自使用的条件;(3)在同一个推理的证明中,如果既要使用UI规则,又要使用EI规则,一定先使用EI规则,后使用UI规则,而且UI规则使用的个体常项一定是EI规则中使用过的。

(4)对A(c)不能使用UG规则,其中c为特定的个体常项。

5.对于给定的推理,要求正确地给出它的证明。

第二部分:集合论第六章:集合代数1.熟练掌握集合的两种表示法。

2.能够判别元素是否属于给定的集合。

3.能够判别两个集合之间是否存在包含、相等、真包含等关系。

4.熟练掌握集合的基本运算(幂集运算,普通运算和广义运算)并能化简集合表达式。

5.掌握有穷集合的计数方法。

6.掌握证明集合等式或者包含关系的基本方法。

第七章:二元关系1.理解有序对、二元关系、集合A到B的关系、集合A上的关系(包含空关系、全域关系、小于等于关系、整除关系、包含关系等)的定义,掌握笛卡儿积的运算和性质。

2.熟练掌握关系表达式、关系矩阵、关系图的表示法。

3.熟练掌握关系的定义域、值域、逆、右复合、限制、像、幂的计算方法。

4.熟练计算集合A上关系R的自反闭包、对称闭包和传递闭包。

5.能够证明含有上述关系运算的集合恒等式或者包含式。

6.熟练掌握判断关系五种性质的方法,并能对关系的自反、对称、反对称、传递性给出证明。

7.熟练掌握等价关系、等价类、商集、划分的概念,以及等价关系与划分的对应性质。

8.熟练掌握偏序关系、偏序集、哈斯图、偏序集中的特定元素等概念。

9.能够利用上述关系模型处理简单的实际问题。

第八章:函数1.掌握函数的基本概念,会判断给定集合是否为函数、是否为从A到B的函数2.熟练计算函数的值、像、完全原像。

3.会判断和证明函数的单射、满射、双射的性质。

4.给定集合A和B,会构造从A到B的双射函数。

5.会计算复合函数、双射函数的反函数。

第四部分:图论第十四章:图的基本概念1.理解与图的定义有关的诸多概念,以及它们之间的相互关系2.深刻理解握手定理及其推论的内容,并能熟练地应用它们3.深刻理解图同构,简单图,完全图,正则图,子图,补图,二部图等概念及其它们的性质和相互关系,并能熟练地应用这些性质和关系。

4.深刻理解通路与回路的定义,相互关系及其分类,掌握通路与回路的各种不同的表示方法。

5.理解无向图的连通性,连通分支等概念。

6.深刻理解无向图的点连通度、边连通度等概念及其之间的关系,并能熟练地求出给定的较为简单的图的点连通度与边连通度。

7.理解有向图连通性的概念及其分类,掌握判断有向连通图类型的方法。

8.熟练掌握用有向图的邻接矩阵及各次幂求图中通路与回路数的方法。

9.会求有向图的可达矩阵。

第十五章:欧拉图与哈密尔顿图1.深刻理解欧拉图与半欧拉图的定义及判别定理,对于给定的图(无向的或有向的),应用定理15.5准确地判断出它是否为欧拉图。

2.会用Fleury算法求出欧拉图中的欧拉回路。

3.深刻理解哈密顿图及半哈密顿图的定义。

4.会用破坏哈密顿图应满足的某些必要条件(如定理15.6)的方法判断某些图不是哈密顿图。

5.会用满足哈密顿图的充分条件(如定理15.7)的方法判断某些图是哈密顿图。

6.严格地分清哈密顿图的必要条件和充分条件,千万不能将必要条件当充分条件,同样地,也不能将充分条件当成必要条件。

7.对于完全带权图K4和K5能准确地求出最短的哈密顿回路。

第十六章:树1.深刻理解无向树的定义,熟练掌握无向树的主要性质,并能灵活应用它们。

2.熟练地求解无向树,准确地画出阶数n较小的所有非同构的无向树。

3.深刻理解基本回路,基本回路系统,基本割集,基本割集系统,并对给定的生成树能准确地求出它们。

4.熟练地应用Kruskal算法求最小生成树。

5.理解根树及其分类等概念。

6.会画出阶数n较小(如1≤n≤5)所有非同构的根树。

7.熟练掌握Huffman算法,并用它求最佳前缀码。

8.掌握波兰符号法及逆波兰符号法的算法。

第十七章:平面图及图的着色1.深刻理解平面图的基本概念,并能灵活应用它们。

2.熟练应用欧拉(Euler)公式3.深刻理解平面图的判断基本定理。

4熟练地应用平面图的对偶图基本转换方法及对图中顶点的着色。

5理解地图的着色与平面图的着色及边着色等概念。

四、教学重点与难点第一部分数理逻辑第一章命题逻辑基本概念教学重点:①简单命题(既原子命题)与复合命题②5种常用联结词,复合命题的符号化③“相容或”与“排斥或”④命题公式的赋值、成真赋值、成假赋值。

教学难点:“相容或”与“排斥或”的区别。

第二章命题逻辑等值演算教学重点:①等值式的定义②基本等值式及置换规则进行等值演算③文字、简单析取式、简单合取式、析取范式,合取范式④极小项、极大项的定义,名称、下角标与成真赋值的关系,主析取范式与主合取范式⑤求主析取(主合取)范式的方法⑥主析取范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值⑦将任何命题公式等值地化成某联结词完备集中的公式。

教学难点:求主析取(主合取)范式第三章命题逻辑的推理理论教学重点:①推理的不同方法,如真值表法、等值演算法、主析取范式法等。

②各条推理规则的内容及名称。

③在P系统中构造证明的直接证明法、附加前提证明法、归谬法。

教学难点:①基本推理方法:等值演算法、主析取范式法等。

②基本证明方法:直接证明法、附加前提证明法、归谬法。

第四章一阶逻辑基本概念教学重点:①一阶逻辑公式,永真式、矛盾式、可满足式的概念及其判别方法。

②闭式的概念及闭式的性质。

③给定的解释会判断给定公式的类型教学难点:给定的解释会判断给定公式的类型第五章一阶逻辑等值演算与推理教学重点:①一阶逻辑中的重要的等值式。

②置换规则、换名规则、代替规则。

③求出给定公式的前束范式。

④自然推理系统F中的各条推理规则。

⑤对于给定的推理,要求正确地给出它的证明。

教学难点:自然推理系统F中的各条推理规则;求正确地给出它的证明。

第二部分集合论第六章集合代数教学重点:①集合的两种表示法。

②集合之间的包含、相等、真包含等关系。

③集合的基本运算(幂集运算,普通运算和广义运算)。

④有穷集合的计数方法。

⑤证明集合等式或者包含关系的基本方法。

教学难点:有穷集合的计数方法;证明集合等式或者包含关系的基本方法。

第七章二元关系教学重点:①有序对、二元关系、集合A到B的关系、集合A上的关系(包含空关系、全域关系、小于等于关系、整除关系、包含关系等)的定义掌握笛卡儿积的运算和性质。

②关系表达式、关系矩阵、关系图的表示法。

③关系的定义域、值域、逆、右复合、限制、像、幂的计算方法。

④集合A上关系R的自反闭包、对称闭包和传递闭包。

⑤关系运算的集合恒等式或者包含式。

⑥判断关系五种性质的方法,并能对关系的自反、对称、反对称、传递性给出证明。

⑦等价关系、等价类、商集、划分的概念,以及等价关系与划分的对应性质。

⑧偏序关系、偏序集、哈斯图、偏序集中的特定元素等概念。

相关文档
最新文档