离散数学基础实验教学大纲Word版

合集下载

《离散数学》课程教学大纲【模板】

《离散数学》课程教学大纲【模板】

《离散数学》课程教学大纲
编号: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磅。

《离散数学》-课程教学大纲

《离散数学》-课程教学大纲

《离散数学》课程教学大纲英文:《Discrete Mathematics》一、课程基本信息课程代码:16046404课程名称:离散数学英文名称:Discrete Mathematics课程类别:学科基础学时:64学分: 4适用对象: 计算机实验班、计算机科学与技术、软件工程考核方式:闭卷先修课程:无二、课程简介中文简介离散数学主要介绍计算机科学与技术中的基本离散结构,重点是这些结构的数学定义、在计算机科学中广为使用的证明方法及其应用。

课程包括的基本内容:数理逻辑初步、证明方法、归纳、良序、集合、关系、图论基础、排列与组合、计数等。

课程还包括若干可选内容:递归定义与结构归纳法、状态机与不变式、递归等。

英文简介Elementary discrete mathematics for computer science and engineering. Emphasis on mathematical definitions and proofs as well as on applicable methods. Topics: formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics such as: recursive definition and structural induction; state machines and invariants; recurrences.三、课程性质与教学目的离散数学是计算机类各专业的专业基础课,是计算机科学的基础理论,离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功,离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。

离散数学基础实验教学大纲

离散数学基础实验教学大纲

理学院《离散数学基础》实验教学大纲课程名称:离散数学基础实验课程编号:080J21A课程总学时:51实验学时数:17课程总学分:2.5实验学分:0.5开设实验项目数:5一、实验教学目的面向离散数学在计算机中的应用,通过实验操作,使学生掌握研究计算机科学的基础理论,进一步提高学生的抽象思维与逻辑推理能力,增强实际应用能力。

二、实验项目内容、基本要求与学时分配注:1、实验类型:演示、验证、操作、综合、设计、研究。

2、实验要求:指必做、选做。

三、实验考核方式与标准实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主,各单项考核内容所占分数比例为:实验态度占10%、实验理论占15%;操作技能占50%;实验报告占25%。

四、实验教材与参考书推荐教材:《离散数学》(修订版),耿素云屈婉玲编著,高等教育出版社,2004年。

主要参考书:《离散数学导论》第二版,徐洁磬编著,高等教育出版社,1997年。

《离散数学》, [美]S.利普舒尔茨, M.利普森,周兴和、孙志人、张学斌译, 科学出版社和麦格劳-希尔教育出版集团, 2001年。

《计算方法》实验教学大纲课程名称:计算方法实验课程编号:080J22B课程总学时:85实验学时数:34课程总学分:4实验学分:1开设实验项目数:5一、实验教学目的本课程以MATLAB或C为编程语言,将《计算方法》课程中的常用算法用MATLAB语言描述并上机进行数值实验。

通过实验,使学生进一了解各个算法的特点及适用范围,提高学生用计算机解决实际问题的能力。

二、实验项目内容、基本要求与学时分配三、实验考核方式与标准实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主,各单项考核内容所占分数比例为:实验态度占10%、实验理论占15%;操作技能占50%;实验报告占25%。

四、实验教材与参考书1、《计算机数值方法》(第二版),施吉林等,高教出版社出版,2005年2、《计算方法引论》(第二版),徐翠薇、孙绳武,高等教育出版社,2002《计算方法基础》实验教学大纲课程名称:计算方法基础课程编号:080J23A课程总学时:51实验学时数:17课程总学分:2.5实验学分:0.5开设实验项目数:3一、实验教学目的本课程以MATLAB或C为编程语言,将《计算方法基础》课程中的常用算法用MATLAB语言描述并上机进行数值实验。

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

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

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

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

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

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

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

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

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

难点:谓词演算。

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

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

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

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

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

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

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

南京邮电大学离散数学实验教学大纲

南京邮电大学离散数学实验教学大纲

附件1:《离散数学》课程实验教学大纲实验类别:□通识基础 □学科基础 ■专业基础 □专业一、实验课程目的和任务(黑体小四号)性质:本实验课程是计算机及相关专业的专业基础课,本实验是理论课程的配套实验。

目的和任务:《离散数学》课程以培养学生的逻辑思维能力、推理能力为主要目的,通过给学生设置一定数量的上机实验,使学生通过运用高级语言编程实现和离散数学理论知识相关的若干程序,加深对课内所学基本理论内容的理解和掌握,并进一步提高学生的编程能力。

任务:通过实验,使学生掌握与离散数学理论相关的编程实现思想和方法,重点掌握命题逻辑中合式公式的主析取范式以及主合取范式的真值表求取法、集合论中二元关系性质的判定、偏序关系中盖住关系的求取、有补格的判定以及图论中欧拉路的判定。

二、实验内容、学时分配及基本要求(黑体小四号)课程编号: B0302021S 课程名称: 离散数学 课内总学时:48实验学时/上机实验学时: 16注:实验类型指演示、验证、综合和设计。

综合性、设计性实验内容及要求另附大纲,表中“实验内容及要求”处标明“见附录X”。

三、考核及实验报告(黑体小四号)(一)考核(宋体五号加粗)实验课考核分两个部分:上机演示和实验报告。

演示部分主要考察所编程序执行结果是否正确,学生对编程思想是否能清晰表述;报告部分主要考察程序是否规范、结果分析是否合理、格式是否正确美观等。

成绩根据两部分内容综合评定,由于不是单独设课,所以实验成绩按一定比例折入学生课程考试总分之中,占总成绩的20%。

(二)实验报告(宋体五号加粗)实验报告的内容:1. 实验名称:按统一要求给出。

2. 实验目的:简单描述实验与理论知识的关联,说明实验目的。

3. 实验任务:给出实验需完成的各项主要功能。

4. 实验内容:详见第二部分。

5. 实验过程描述:包括实验结果分析、实验过程遇到的问题及体会。

实验报告的要求:实验报告以文本和电子两种形式提交。

实验报告要求符合基本格式规范,仔细填写学校统一编制报告册中的各项内容,包括具体的实验内容,规范的程序书写,清晰的编程思想描述,正确的运行结果,合理的结果分析,出现的问题及解决措施,心得体会等。

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

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

最新精选全文完整版(可编辑修改)《离散数学》教学大纲一、课程概述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. 通过介绍各种做题的方法,启发学生独立思维的能力。

创造性的提出自己解决问题的方法,提高学生解决问题的能力。

4.通过该门课程的学习使学生掌握逻辑思维和逻辑推理的能力,培养学生正规的逻辑思维方式。

二、教学重点及难点(一)重点1.集合论:集合恒等式,关系运算,关系性质,等价关系,偏序关系2.数理逻辑:等价演算,推理理论3.代数系统:代数系统,群的性质,子群,陪集与拉格朗日定理,循环群,置换群4.图论:图的基本概念,图的矩阵,根树,有向树和有序树。

5.代数系统:代数系统,群的性质,子群,陪集与拉格朗日定理,循环群,置换群(二)难点关系的运算,偏序关系,一阶逻辑推理,陪集,置换群,根树的应用三、教学方法采用多媒体和板书相结合,采用启发式和案例教学,以知识为载体,培养学生分析解决问题的思维方式和方法,激发学生创造性思维。

四、教学时数54学时,每周3学时五、考试或考察方式本课程为考试课考试方式六、学时安排序号章节内容学时1 第一章集合与关系122 第二章命题逻辑123 第三章谓词逻辑94 第四章图论125 第五章代数系统9合计54第一章集合与关系 1.1 集合的概念与运算一、教学目的及要求:1、掌握集合的两种表示法2、判别元素是否属于给定的集合3、判别两个集合之间是否存在包含、相等、真包含等关系4、掌握集合的基本运算(幂集运算,普通运算和广义运算)并能化简集合表达式二、教学难点及重点:教学重点:1. 集合的两种表示法2. 集合之间的包含、相等、真包含等关系3. 集合的基本运算(幂集运算,普通运算和广义运算)教学难点:集合的运算三、教学基本内容:1.集合的概念,集合的两种表示法2.元素与集合的关系3.两个集合之间的关系:包含、相等、真包含等关系4.空集,全集,幂集的概念5. 集合的基本运算(幂集运算,普通运算和广义运算),化简集合表达式四、作业习题1.1 2、3、5、7、9第一章集合与关系(1.2,1.3)一、教学目的及要求:1.掌握有序对的定义2.掌握笛卡儿积运算和性质3.熟练掌握二元关系的定义4.掌握二元关系表达式、关系矩阵、关系图的表示法5. 掌握关系的逆和合成运算二、教学难点及重点:教学重点:1.有序对的定义2.笛卡儿积运算和性质3.二元关系的定义4.二元关系表达式、关系矩阵、关系图的表示法5. 关系的逆和合成运算教学难点:笛卡儿积运算和性质、关系的合成三、教学基本内容:1.有序对的概念2.有序对的性质3.有序n元组4.笛卡儿积的定义5.笛卡儿积的运算和性质6.二元关系的概念7.集合A到B的关系、集合A上的关系的定义8.关系表达式、关系矩阵、关系图的表示法9.关系的逆和合成运算四、作业习题1.2 1、3、4、5、6 习题1.3 1、2、7、11第一章集合与关系(1.4)一、教学目的及要求:1.掌握二元关系的基本性质及其关系矩阵、关系图上的体现2.掌握二元关系的各种性质存在的充要条件3.了解二元关系各种性质与集合运算的关系4.掌握自反性、对称性、传递性的证明方法二、教学难点及重点:教学重点:1.二元关系的基本性质:自反性,非自反性,对称性,反对称性,传递性2.二元关系的各种性质存在的充要条件3.二元关系的基本性质在关系矩阵、关系图上的体现4.二元关系各种性质与集合运算的关系5.自反性、对称性、传递性的证明方法教学难点:1.二元关系的各种性质存在的充要条件2.自反性、对称性、传递性的证明方法三、教学基本内容:1.自反性的定义及关系矩阵、关系图的特征2.非自反性的定义及关系矩阵、关系图的特征3.对称性的定义及关系矩阵、关系图的特征4.反对称性的定义及关系矩阵、关系图的特征5.传递性的定义及关系矩阵、关系图的特征6.二元关系的各种性质存在的充要条件7.集合的并、交运算对自反性的保持8.集合的并、交运算对对称性的保持9.集合的并、交运算对传递性的保持10.二元关系性质的证明四、作业习题 1.4 1、2、3、4、8第一章集合与关系(1.5) 一、教学目的及要求:1.掌握二元关系闭包的含义2.掌握二元关系闭包的性质3.掌握二元关系闭包的计算方法二、教学难点及重点:教学重点:1.二元关系的闭包:自反闭包、对称闭包、传递闭包2.二元关系的闭包计算的基本定理3.利用关系矩阵和关系图计算闭包4.二元关系的闭包的性质教学难点:二元关系闭包的求法三、教学基本内容:1.闭包的定义:自反闭包、对称闭包、传递闭包2.利用集合与闭包的关系计算闭包3.利用关系矩阵和关系图计算闭包4.二元关系的闭包的性质5.闭包与闭包之间的关系6. 集合、关系矩阵、关系图之间的转换四、作业习题1.5 1、2、3、9第一章集合与关系(1.6) 一、教学目的及要求:1.掌握等价关系及其条件2.掌握等价关系与划分的联系二、教学难点及重点:教学重点:1.等价关系及充要条件2.等价关系与划分的联系教学难点:等价关系的划分三、教学基本内容:1.等价关系的定义2.利用矩阵表示等价关系3.等价关系的充要条件4.等价类与商集的定义5.等价关系与划分的联系四、作业习题 1.6 2、4、5、6第一章集合与关系(1.7) 一、教学目的及要求:1.了解序关系的概念2.掌握偏序与拟序3. 掌握哈斯图4. 掌握全序与良序二、教学难点及重点:教学重点:1.偏序与拟序2.哈斯图3. 全序与良序教学难点:全序与良序三、教学基本内容:1.序关系的概念:偏序关系、拟序关系2.偏序的充分必要条件3.拟序的充分必要条件4.覆盖的定义5.哈斯图6.极大元与极小元7.全序结构与良序结构四、作业习题 1.7 2、5、8第二章命题逻辑(2.1、2.2) 一、教学目的及要求:1.分清简单命题(既原子命题)与复合命题2.深刻理解5种常用联结词的涵义,每种联结词的真值3.分清“相容或”与“排斥或”4. 掌握命题公式及其真值表5. 掌握命题公式的类型与判定二、教学难点及重点:教学重点:1. 命题的概念2.简单命题(既原子命题)与复合命题3. 5种常用联结词4. “相容或”与“排斥或”5. 命题公式及其真值表6. 命题公式的类型与判定教学难点:“相容或”与“排斥或”逻辑区别、命题公式的判定三、教学基本内容:1.命题的概念,真命题,假命题,真值2.命题的判断,简单命题的符号化3.联结词4.每个联结词表示的逻辑关系5.每个联结词的真值6. 命题公式的真值表7. 命题公式的类型8. 命题公式的判定四、作业习题2.1 2、3、4 习题2.2 1、2、3、5第二章命题逻辑(2.3) 一、教学目的及要求:1.掌握命题公式的等价2.掌握命题公式的蕴含3.理解置换定理与对偶定理二、教学难点及重点:教学重点:1.命题公式的等价2.命题公式的蕴含3.置换定理与对偶定理教学难点:命题公式的关系及真值表演算三、教学基本内容:1.命题公式的等价2.命题公式的蕴含3.置换定理与对偶定理四、作业习题2.3 1、2、3、4第二章命题逻辑(2.4)一、教学目的及要求:1.了解文字、简单析取式、简单合取式、析取范式,合取范式,主析取范式与主合取范式等概念。

《离散数学》教学大纲

《离散数学》教学大纲

《离散数学》课程教学大纲课程编号:课程中文名称:离散数学课程英文名称:Discrete mathematics课程类型:考查课课程性质:专业技术基础课总学时: 54学时理论授课学时: 46学时实验(实践)学时:8学时学分:3分适用对象:信息管理与信息系统、信息工程本科先修课程:高等数学线性代数一、编写说明(一)制定大纲的依据依据我系信息管理与信息系统、信息工程专业学科体系和特色化人才培养目标的要求,制定编写了该教学大纲,在内容上突出了《离散数学》课程的基本理论、基本知识和基本技能,反映现代科学技术的发展趋势,体现了我系的特色化人才培养模式。

(二)课程简介离散数学,是现代数学的一个重要分支,是以研究离散量的结构和相互间的关系为主要目标,其研究对象一般是有限个或可数个元素。

《离散数学》内容主要包括: 数理逻辑中命题演算、谓词演算等形式逻辑的推理规律;集合的概念、运算及应用,集合内元素间的关系以及集合之间的关系,无限集的特性;抽象代数的基本理论和应用,格与布尔代数图论学科的基本概念、欧拉图、哈密尔顿图、最小路径算法、中国邮路问题、树及平面图的基本理论;通过该课程可以培养学生的抽象思维和慎密的概括能力,该课程主要适用于自动控制、电子工程、管理科学等有关专业,是计算机专业的必修课。

(三)课程性质、目的和任务《离散数学》课程是为计算机科学与技术专业的学生开设的一门专业基础课程。

随着计算机科学的发展和计算机应用领域的日益广泛,迫切需要适当的数学工具来解决计算机科学各个领域中提出的有关离散量的理论问题,离散数学就是适应这种需要而建立的,它综合了计算机科学中所用到的研究离散量的各个数学课题,并进行系统、全面的论述,从而为研究计算机科学及相关学科提供了有利的理论基础和工具。

是学习后续专业课程不可缺少的数学工具,如:高级语言、数据结构、编译原理、操作系统、可计算性理论、人工智能、形式语言与自动机、信息管理与检索以及开关理论等,离散数学也是研究自动控制、管理科学、电子工程等的重要工具。

《离散数学》教学大纲48学时20170326_16级使用

《离散数学》教学大纲48学时20170326_16级使用

《离散数学》课程教学大纲模板(黑体 小三号 居中)(以下标题为黑体小四号,行距为18磅,内容为宋体五号)一、课程定位本课程的授课对象、课程的基本描述(课程的性质、任务、与其它课程的关系等)和在人才培养过程中的地位和作用。

《离散数学》是计算机科学以及相关专业重要的专业基础课。

包括的主要内容有:数理逻辑、集合论、二元关系、函数和图论等。

它以研究离散量的结构和相互关系为主要目标,通过该课程的学习,培养学生抽象思维和严密的逻辑推理能力,为进一步学习其它专业课打好基础,并为学生今后处理离散信息,提高专业水平,从事计算机或者相应专业以及实际工作提供必备的数学工具。

二、教学目标学生通过学习该课程后,在思维、知识和能力等方面应达到的目标。

1. 有效地掌握该门课程中的所有概念。

通过讲课和布置一定数量的习题使学生能够使用所学的概念对许多问题作出正确的判断。

2. 通过课程中许多定理的证明过程复习概念,了解证明的思路,学会证明的方法,并使学生掌握定理的内容和结果。

3. 通过介绍各种做题的方法,启发学生独立思维的能力。

创造性的提出自己解决问题的方法,提高学生解决问题的能力。

4.通过该门课程的学习使学生掌握逻辑思维和逻辑推理的能力,培养学生正规的逻辑思维方式。

课程名称:离散数学/ Discrete Mathematics课程编码: 20019703总学时数/学分数:专业基础课 实验学时:0上机学时:0 课程所属部门:信息技术工程学院 适用专业:计算机科学与技术、网络工程、软件工程及相关专业课程负责人:制定日期:2017年3月说明:1.实验和上机内容只填写项目名称及学时,具体内容和要求见实验大纲。

2.教学要求分章节按“了解”、“理解”、“掌握”三个层次编写教学内容及要求。

“了解”是指学生应能辨认的科学事实、概念、原则、术语,知道事物的分类、过程及变化倾向,包括必要的记忆;“理解”是指学生能用自己的语言把学过的知识加以叙述、解释、归纳,并能把某一事实或概念分解为若干部分,指出它们之间的内在联系或与其它事物的相互关系;“掌握”是指学生能根据不同情况对某些概念、定律、原理、方法等在正确理解的基础上结合事例加以运用,包括分析和综合。

030732006《离散数学》教学大纲

030732006《离散数学》教学大纲

《离散数学》课程教学大纲课程代码:030732006课程英文名称:Discrete Mathematics课程总学时:48 讲课:48 实验:0 上机:0适用专业:电子信息科学与技术大纲编写(修订)时间:2010.7一、大纲使用说明(一)课程的地位及教学目标离散数学是现代数学的一个重要分支,是电子信息科学与技术专业的专业基础选修课。

以研究离散量的结构和相互间的关系为目标,其研究对象是有限个或无限个元素。

本课程主要介绍离散数学各个分支的基本概念、基本理论和基本方法,这些概念、理论及其方法大量应用在数据结构、操作系统、数字电子技术、数据库原理与应用等专业课程中,是一门重要的基础课程。

通过本课程的学习,培养和锻炼抽象思维、逻辑思维和缜密概括的能力,为专业基础课和专业课的学习打下坚实的理论基础。

(二)知识、能力及技能方面的基本要求通过本课程的学习,在基础方面,要求学生能够运用命题逻辑语言表达简单的日常语言及推理,能够运用谓词逻辑语言刻画具有谓词逻辑的语言及推理,明确认识集合、关系的概念,并熟练掌握各种运算,深刻理解代数系统的概念,能够判断代数系统的种类,理解并掌握格;在技能方面,通过掌握离散结构的描述工具和处理方法能够提高抽象思维和严格的逻辑推理能力,为将来开发工作打下坚实的基础。

(三)实施说明1.离散数学是理论性较强的学科,学习离散数学的关键是准确掌握概念,多作练习。

教师可通过课堂讲授、答疑、习题课、课后作业练习等多种手段开展教学。

2.教师在授课过程中可根据实际情况酌情安排各部分的学时,课程学时总体分配表仅供参考。

(四)对先修课的要求本课程的教学必须在完成先修课程之后进行。

本课程主要的先修课程是高等数学、线性代数。

(五)对习题课、实践环节的要求1.对重点、难点章节(如:数理逻辑、集合论和代数结构等)应安排习题课,习题课重点在于加强基本理论教学,注重培养学生分析问题、解决问题的技能培养与训练。

故采取精讲多练,用以解决实际问题为目的。

离散数学教学大纲09版.doc

离散数学教学大纲09版.doc

《离散数学》课程教学大纲(Discrete Mthematics)一、基本信息课程编号:05201005课程类别:□通认教育丁专业类教育□专业教育□实践教学□课外教育课程屈性:J必修□选修适用层次:木科适用专业:计算机科学与技术、网络工程、软件工程开课学期:3总学分:4总学时:64学时(理论课54学时,实验课10学时)考核方式:考试二、课程教育目标离散数学的教育FI标是通过本课程的学习使学生掌握必要的计算机数学知识,为学生的后续专业课学习及将来从事的软、硬件开发和应用打下坚实的基础,并使他们得到抽象思维和逻辑推理能力方面的培养。

三、教学内容与要求1•理论课教学内容(1)数学语言与证明方法主要包括:常用的数学符号;集合及其运算;证明方法概述(自学内容)。

基本要求:掌握集合论基本概念及其运算,了解证明方法。

(2)关系主要包括:关系的定义及其表示;关系的运算(关系的合成运算、关系的逆运算、关系的幕、闭包运算);关系的性质(自反与反自反、对称与反对称、传递性质); 等价关系与偏序关系。

基本要求:掌握二元关系的基本概念、基本运算与性质;掌握关系上的闭包运算、等价关系与划分以及偏序关系的概念;理解等价关系与偏序关系的性质。

(3)函数主要包括:函数的定义及其性质;函数的复合与反函数基木要求:掌握函数的基木概念;理解函数的复合。

(4)图论主要内容:图的基本概念;路径的连通性;图的矩阵表示(关联矩阵、邻接矩阵、可达矩阵、);儿种特殊的图,包插二部图、欧拉图。

基本要求:掌握图和连通的基本概念、欧拉路径、欧拉图的判断方法、图的矩阵表示。

(5)树及其应用主要内容:无向树的基本概念;根树及其应用;最小生成树。

基本要求:掌握无向树的定义与性质,以及最小生成树的求法。

(6)代数系统主要内容:二元运算定义及其性质、特异元素(单位元、零元、逆元);代数系统定义、代数系统分类、子代数;半群、独异点和群的定义。

基本要求:学握二元运算、代数系统的基本概念,能够求岀给定代数系统的特异元素,理解半群、独异点和群的基本概念。

离散数学数学教学大纲

离散数学数学教学大纲

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

理学院《离散数学基础》实验教学大纲课程名称:离散数学基础实验课程编号:080J21A课程总学时:51实验学时数:17课程总学分:2.5实验学分:0.5开设实验项目数:5一、实验教学目的面向离散数学在计算机中的应用,通过实验操作,使学生掌握研究计算机科学的基础理论,进一步提高学生的抽象思维与逻辑推理能力,增强实际应用能力。

二、实验项目内容、基本要求与学时分配注:1、实验类型:演示、验证、操作、综合、设计、研究。

2、实验要求:指必做、选做。

三、实验考核方式与标准实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主,各单项考核内容所占分数比例为:实验态度占10%、实验理论占15%;操作技能占50%;实验报告占25%。

四、实验教材与参考书推荐教材:《离散数学》(修订版),耿素云屈婉玲编著,高等教育出版社,2004年。

主要参考书:《离散数学导论》第二版,徐洁磬编著,高等教育出版社,1997年。

《离散数学》, [美]S.利普舒尔茨, M.利普森,周兴和、孙志人、张学斌译, 科学出版社和麦格劳-希尔教育出版集团, 2001年。

《计算方法》实验教学大纲课程名称:计算方法实验课程编号:080J22B课程总学时:85实验学时数:34课程总学分:4实验学分:1开设实验项目数:5一、实验教学目的本课程以MATLAB或C为编程语言,将《计算方法》课程中的常用算法用MATLAB语言描述并上机进行数值实验。

通过实验,使学生进一了解各个算法的特点及适用范围,提高学生用计算机解决实际问题的能力。

二、实验项目内容、基本要求与学时分配三、实验考核方式与标准实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主,各单项考核内容所占分数比例为:实验态度占10%、实验理论占15%;操作技能占50%;实验报告占25%。

四、实验教材与参考书1、《计算机数值方法》(第二版),施吉林等,高教出版社出版,2005年2、《计算方法引论》(第二版),徐翠薇、孙绳武,高等教育出版社,2002《计算方法基础》实验教学大纲课程名称:计算方法基础课程编号:080J23A课程总学时:51实验学时数:17课程总学分:2.5实验学分:0.5开设实验项目数:3一、实验教学目的本课程以MATLAB或C为编程语言,将《计算方法基础》课程中的常用算法用MATLAB语言描述并上机进行数值实验。

通过实验,使学生进一了解各个算法的特点及适用范围,提高学生用计算机解决实际问题的能力。

二、实验项目内容、基本要求与学时分配三、实验考核方式与标准实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主,各单项考核内容所占分数比例为:实验态度占10%、实验理论占15%;操作技能占50%;实验报告占25%。

四、实验教材与参考书1、《计算机数值方法》(第二版),施吉林等,高教出版社出版,2005年2、《计算方法引论》(第二版),徐翠薇、孙绳武,高等教育出版社,2002《数学建模》实验教学大纲课程名称:数学建模课程编号:084J01A课程总学时:68实验学时数:34课程总学分:3实验学分:1开设实验项目数:5一、实验教学目的实验目标主要包括一下几个方面的内容:1.熟练掌握数学软件——Maple的使用。

掌握Maple软件与其他计算机软件之间的差别,理解符号运算及精确计算在实际应用中的重要地位,掌握简单问题的程序设计;2.掌握实际问题建立数学模型的基本方法。

通过实验,理解实际问题转化为数学模型的基本途径,了解数学模型在科学发展中的重要地位;3.掌握基本的算法。

掌握一般连续型和离散型问题求解的基本算法以及算法的计算机实现。

基本要求:要求学生完成实验的全部过程,掌握建立模型、设计算法、编制程序、模型求解以及模型解的检验方法,所有上述工作必须以电子形式完成。

二、实验项目内容、基本要求与学时分配注:1、实验类型:演示、验证、操作、综合、设计、研究。

2、实验要求:指必做、选做。

三、实验考核方式与标准实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主,各单项考核内容所占分数比例为:实验态度占10%、实验理论占15%;操作技能占50%;实验报告占25%。

四、实验教材与参考书教材: 《数学模型》,姜启源主编,高等教育出版社。

参考书目:寿纪麟主编,《数学建模——方法与范例》,西安交大出版社。

中国科学院系统科学研究所,《数学的实践与认识》。

《数学实验》实验教学大纲课程名称:数学实验课程编号:084J02A课程总学时:34实验学时数:34课程总学分:1实验学分:1开设实验项目数:5一、实验教学目的实验目标主要包括一下几个方面的内容:1.熟练掌握数学软件——Maple的使用。

掌握Maple软件与其他计算机软件之间的差别,理解符号运算及精确计算在实际应用中的重要地位,掌握简单问题的程序设计;2.掌握实际问题建立数学模型的基本方法。

通过实验,理解实际问题转化为数学模型的基本途径,了解数学模型在科学发展中的重要地位;3.掌握基本的算法。

掌握一般连续型和离散型问题求解的基本算法以及算法的计算机实现。

基本要求:根据学生数学软件掌握的情况以及实验问题的难易程度,要求学生至少完成4个实验的全部过程,包括建立模型、设计算法、编制程序、模型求解以及模型解的检验,所有上述工作必须以电子形式完成。

二、实验项目内容、基本要求与学时分配注:1、实验类型:演示、验证、操作、综合、设计、研究。

2、实验要求:指必做、选做。

三、实验考核方式与标准实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主,各单项考核内容所占分数比例为:实验态度占10%、实验理论占15%;操作技能占50%;实验报告占25%。

平时成绩占总评的100%,期末考核占总评的0%。

四、实验教材与参考书教材:乐经良编,《数学实验》,高等教育出版社。

参考书目:姜启源编,《数学建模》,高等教育出版社。

《数值计算方法实验》实验教学大纲课程名称:数值计算方法实验课程编号:082AA3A课程总学时:34实验学时数:34课程总学分:1实验学分:1开设实验项目数:5一、实验教学目的数值计算的应用范围已十分广泛,作为用计算机解决实际问题的基础、桥梁和纽带,是架设在数学与计算机之间的一条通道。

数值计算中的算法,包括在求解线性方程组、曲线拟合、数值积分、数值微分等一系列计算机中所使用的迭代方法、插值法、拟合法、最小二乘法等。

数值计算方法实验将帮助学生理解并掌握数值计算方法这门专业课的基本理论和基本内容,准确地将所求解的数学模型简化成一系列算术或逻辑运算,以MATLAB或C为编程语言,上机实现其数值求解。

通过实验,加深学生对一些重要算法的理解,提高学生的编程能力与解决实际问题的能力,培养学生运用计算方法解决工程计算的能力。

二、实验项目内容、基本要求与学时分配三、实验考核方式与标准实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主,各单项考核内容所占分数比例为:实验态度占10%、实验理论占15%;操作技能占50%;实验报告占25%。

平时成绩占总评的100%,期末考核占总评的0%。

四、实验教材与参考书1、《计算机数值方法》(第二版)施吉林等,高教出版社出版,2005年。

2、《计算方法引论(第二版)》,徐翠薇、孙绳武,高等教育出版社,2002。

《数据结构实验》上机教学大纲课程名称:数据结构实验课程编号:087SB2A课程总学时:34上机学时数:34课程总学分:1上机学分:1上机项目数:7一、上机操作的目的与基本要求通过实践,学生对常用数据结构的基本概念及其不同的实现方法的理论得到进一步的掌握,并对在不同存储结构上实现不同的运算方式和技巧有所体会。

二、上机操作项目内容、能力标准和学时分配注:1、上机类型:单项训练、综合训练三、使用教材与参考书教材:《数据结构题集》(C语言版),严蔚敏、吴伟民,清华大学出版社参考书目:《C程序设计》,谭浩强,清华大学出版社四、考核方式与标准上机考核以学生的上机态度、掌握的上机理论、实际操作技能和上机报告等为主,各单项考核内容所占分数比例为:上机态度占10%、上机理论占15%;操作技能占50%;上机报告占25%。

平时成绩占总评的100%,期末考核占总评的0%。

《数学模型实验》实验教学大纲课程名称:数学模型实验课程编号:083AA2A课程总学时:34实验学时数:34课程总学分:1实验学分:1开设实验项目数:5一、实验教学目的1.熟练掌握数学软件——Maple的使用。

掌握Maple软件与其他计算机软件之间的差别,理解符号运算及精确计算在实际应用中的重要地位,掌握简单问题的程序设计;2.掌握实际问题建立数学模型的基本方法。

通过实验,理解实际问题转化为数学模型的基本途径,了解数学模型在科学发展中的重要地位;3.掌握基本的算法。

掌握一般连续型和离散型问题求解的基本算法以及算法的计算机实现。

基本要求:要求学生完成实验的全部过程,掌握建立模型、设计算法、编制程序、模型求解以及模型解的检验方法,所有上述工作必须以电子形式完成。

二、实验项目内容、基本要求与学时分配注:1、实验类型:演示、验证、操作、综合、设计、研究。

2、实验要求:指必做、选做。

三、实验考核方式与标准实验考核以学生的实验态度、掌握的实验理论、实际操作技能和实验报告等为主,各单项考核内容所占分数比例为:实验态度占10%、实验理论占15%;操作技能占50%;实验报告占25%。

平时成绩占总评的100%,期末考核占总评的0%。

四、实验教材与参考书教材:姜启源编,《数学模型》,清华大学出版社参考书目:寿纪麟主编,《数学建模——方法与范例》,西安交大出版社陈森法编,《网络模型及其优化》,东南大学出版社叶其孝编,《数学建模与国际数学建模竞赛》,《工科数学》杂志社出版中国科学院系统科学研究所,《数学的实践与认识》《数学建模训练》实训(实操)教学大纲课程名称:数学建模训练课程编号:082E04A课程总学时:34实训(实操)学时数:34课程总学分:1实训学分:1实训(实操)项目数:4一、实训(实操)目的与基本要求开设数学建模训练的主要目的在于训练学生参加全国大学生数学建模竞赛的能力,选拔参赛队员,从而要求参加的学生先期学习过数学模型或数学建模课程,对于数学模型有一定基础。

由于全国大学生数学建模竞赛的题目基本分为A和B两类,故本课程主要以历年竞赛的题目为主,分别完成2个A类或B类题目的建模、求解、结果分析以及论文撰写等的全部过程。

二、实训(实操)项目内容、能力标准和学时分配注:1、实训类型:单项训练、综合训练三、使用教材与参考书教材:中国科学院系统科学研究所,《数学的实践与认识》参考书目:中国数学建模网,《数模》杂志四、考核方式与标准实训考核以学生的实训态度、掌握的实训理论、实际操作技能和实训报告等为主,各单项考核内容所占分数比例为:实训态度占10%、实训理论占15%;操作技能占50%;实训报告占25%。

相关文档
最新文档