《离散数学》课程教学大纲【模板】
- 格式:docx
- 大小:15.77 KB
- 文档页数:2
《离散数学》教学大纲一、课程的性质和任务课程性质:离散数学是现代数学的一个重要分支,是计算机科学中基础理论的核心课程,是与信息网络及多媒体技术专业的一门必修课。
主要任务:使学生掌握离散数学的基本理论、基本知识;培养学生的抽象思维和慎密概括的能力。
二、课时分配序号课题教学时数小计讲课习题课及单元测验—-命题逻辑2102谓词逻辑12102三集合862四关系12102五图论20182六机动4总计685410三、课程教学内容第一章命题逻辑理解命题与命题公式概念;掌握命题联结词概念及真值表;会求命题公式真值表;掌握等价重言式和蕴含重言式;理解对偶与对偶原理;掌握命题演算的揄规则和证明方法;会求命题公式的标准形式。
重点:命题与命题公式概念;命题联结词;重言式;对偶;命题演算的推理规则和证明方法;命题公式的标准形式。
难点:重言式;命题演算的推理规则和证明方法;命题公式的标准形式。
第二章谓词逻辑掌握个体、谓词与命题函数概念;掌握量词概念;理解谓词公式概念,能进行自然语言与符号语言间的翻译;掌握谓词演算的推理理论和推理方法。
重点:个体、谓词与命题函数;量词;谓词公式与翻译;谓词演算。
难点:谓词演算。
第三章集合掌握集合基本概念;掌握集合的运算与运算定律;掌握集合对称美;理解集合的划分与覆盖;理解容斥原理,会利用容斥原理解决实际问题。
重点:集合基本概念;集合的运算与运算定律;对称差;容斥原理的应用。
特点:幕集;对称差;集合的划分与覆盖;容斥原理的应用。
第四章关系掌握序偶与笛卡尔积概念;掌握关系,关系矩阵和关系图;掌握关系的;掌握关系的性质;掌握关系的闭包运算;理解等价关系与等价类;理解偏序概念,会作哈斯图。
重点:序偶与笛卡尔积;关系;关系的运算;关系的性质;关系的闭包运算; 等价关系,偏序及哈斯图。
难点:关系概念;关系的运算、性质、闭包运算;偏序及哈斯图。
第五章图论理解图的基本概念;理解路与圈和连通性;了解图的矩阵表示;理解有向图与可达性矩阵;了解欧拉图与哈密尔顿图;掌握树的概念;掌握根树及其应用;了解平面图概念,掌握欧拉公式。
最新精选全文完整版(可编辑修改)《离散数学》教学大纲一、课程概述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的和谐公式集三、教学方式以课堂讲授为主,辅以作业和练习,并配备助教对作业进行批改。
网络工程专业《离散数学》本科课程教学大纲(2022版)计算机学院2022年编制一、课程基本信息课程代码:128003课程名称:离散数学学分/学时:4.5学分/72学时课程类别:专业教育模块课程性质:专业基础课开课学期:第三学期授课对象:22网络工程本先修课程:高等数学、线性代数二、课程简介《离散数学》课程在讲授利用离散问题进行建模、数学理论、计算机求解方法和技术知识的同时,培养学生的数学抽象能力和严密的逻辑推理能力,通过本课程的学习,可以增强学生使用离散数学知识进行分析问题和解决实际问题的能力,为后续的计算机专业课程打下坚实的基础。
主要内容包括命题逻辑基本概念、等值演算、推理理论,一阶逻辑基本概念、推理理论,集合代数、二元关系、函数、基本组合计数公式、图的基本概念、欧拉图与哈密顿图、树、代数系统。
通过本课程的学习,学生能够掌握离散数学的基本知识、概念、公式及其应用,掌握离散数学中的常规逻辑推断方法,能够具备有效地收集、整理和分析数据的能力,并对所考察的问题作出推断或预测,以及应用数据挖掘和数据分析方法解决实际问题的能力,从而为今后学习、工作和发展建立良好的知识储备。
三、课程具体目标1.通过该课程的教学,了解并掌握计算机科学中普遍地采用离散数学中的一些基本概念、基本思想和基本方法。
通过本课程的学习将得到良好的数学训练,提高抽象思维能力和逻辑推理能力,掌握有关逻辑和证明的基本技巧和方法,理解并能初步运用离散结构进行问题建模和求解,从而为其学习计算机专业各门后续课程做好必要的知识准备,并为从事计算机的应用提供理论基础。
【毕业要求1.1工程知识】(M)2.掌握命题逻辑基本概念、等值演算、推理理论,一阶逻辑基本概念、推理理论,集合代数、二元关系、函数、基本的组合计数、图论等知识的相关的基本概念、基本表示和一些相关运算。
【毕业要求1.1工程知识】(M)3.在传统模式课堂上让学生自带移动智能终端(BYOD,Bring Your Own Device)开展即时互动反馈的信息化教学新模式,以满足教师和学生课堂教学互动与即时反馈需求,从而激发学生的独立思考、自主学习和探究的能力。
《离散数学》课程教学大纲一、课程简介课程名称:离散数学英文名称:Discrete Mathematics课程代码:课程类别:专业基础课学分:3 总学时:48课程概要:《离散数学》是现代数学的一个重要分支,是计算机类各专业的一门重要基础课,是计算机科学理论的基础。
它是以研究离散量的结构和相互间的关系为主要目标,其研究对象一般是有限个或可列个元素,因此它充分描述了计算机科学的离散性特点。
其主要内容包括数理逻辑、集合论、关系与函数、图论等内容。
该课程与计算机类专业中的数据结构、操作系统、编译原理、数据库原理与应用、人工智能等后继专业课程紧密相关,因此是一门重要的学科基础必修课程。
该课程以高等数学、线性代数为先修课程,但关系不很紧密。
二、教学目的及要求通过该课程的学习,使学生掌握命题逻辑与谓词逻辑、集合与关系、图与树的基本概念和基本理论与方法,为学生学习计算机领域的后续课程奠定理论基础,并培养学生抽象思维、缜密概括和严密的逻辑推理能力,为学生今后处理离散信息打好数学基础。
三、教学内容及学时分配第一章命题逻辑(12学时)1.命题及其表示;2.逻辑联结词;3.命题公式与翻译;4.真值表与等价公式;5.命题公式的分类与蕴含式;6.命题公式的范式;7.命题逻辑的推理理论。
教学要求:熟悉命题、命题的真值、简单命题、复合命题、命题公式、真值表、等价公式、重言式、矛盾式、蕴涵式、(主)析取范式、(主)合取范式等概念;熟悉五个基本联结词(⌝、∧、∨、→、↔)的定义;掌握命题公式的翻译、命题公式的类型的判别、命题定律、证明两个命题公式等价的真值表法和等值演算法及命题公式的(主)析取范式、(主)合取范式的求法;掌握推理证明的直接证法和间接证法。
重点:五个逻辑联结词;翻译、命题公式的等值演算、主析取范式、主合取范式;推理证明的直接证法和间接证法。
难点:命题公式的主析取范式、主合取范式的求法;推理证明的间接证法。
第二章谓词逻辑(10学时)1.谓词与量词;2.谓词公式与翻译;3.变元的约束;4.谓词演算的等价式与蕴含式;5.谓词演算的推理理论。
《离散数学》课程教学大纲
编号:C3/研部03/002
一、课程名称
1.中文名称:离散数学
2.英文名称:Discrete Mathematics
二、课程概况
课程类别:补修课学时数:32学分数:2
适用专业:计算机各专业开课学期:1
开课单位:计算机系
三、大纲编写人:XXX
四、教学目的及要求
离散数学是计算机科学的基础课程。
该课程主要介绍数理逻辑、集合论、代数系统和图论中的新概念和方法。
通过本课程的学习,学生能理解大部分的新概念并利用所学的结果和理论解决一些实际问题。
五、课程主要内容及先修课程
1. 数理逻辑
2. 集合论
3. 代数系统
4. 图论
先修课程:高等数学
六、课程教学方法
1. 教室要求:多媒体教室
2. 课件来源:自编
七、课程考核方式
考试
八、课程使用教材
左孝凌、李为鑑、刘永才著,离散数学,上海科学技术文献出版社,1982年。
九、课程主要参考资料
1.耿素云、屈婉玲、张立昂,离散数学,**大学出版社,2013年。
2.费文龙、彭茂、杨振启,离散数学,科学出版社,2016年。
分委员会主席签字:年月日
主管院长签字:年月日
注:(1)英文课程名称务必写准确;
(2)需编写的内容统一用宋小四号,行间距固定值22磅。