玉溪师范学院信息技术工程学院计算机科学与技术专业离散数学课程
玉溪师范学院
信息技术工程学院
计算机科学与技术专业
离散数学
课程教学实施方案
马瑜
2010年9月
目 录
一、课程描述1
二、课程定位与要求1
三、课程目标2
四、内容大纲2
五、教学内容的组织方式14
六、学习指导20
七、课程考核方案21
八、课件21
一、课程描述
课程名称:离散数学(Discrete Mathematics)
课程性质:离散数学是计算机科学与技术专业的核心基础理论课程,专业必修课。在计算机科学与技术专业课程体系中起到重要的基础理论支撑作用。
与其他课程的关系:高等数学、线性代数和高级语言程序设计课程是离散数学学习的基本准备,后续课程包括数据结构、数据库、编译技术和网络技术等。
基本学时:建议90学时;周学时:5;学分:5。
二、课程定位与要求
1、课程定位:离散数学是计算机科学与技术专业的重要基础课程,属于专业基础课,在专业课中有着广泛的应用。本课程定位于“应用型”人材的培养,以强化专业基础理论知识为中心,注重对学生应用能力的培养。
2、基本要求:离散数学课程主要讨论具有离散特征的变量和结构及相互关系。根据学校应用型人才培养要求和本专业人才培养方案,引导学生认识离散结构知识在计算机科学与技术相关领域中的各种应用,使学生了解离散数学在计算机科学中的地位和作用,帮助学生更好地理解与掌握离散数学课程的教学内容,注重培养学生的抽象思维能力和逻辑推理能力,提高学生分析问题、解决问题的能力,为学生在将来的计算机科学技术的研究和应用打下坚实的理论基础。
3、教学要求:本课程内容概念多、理论性强,内容抽象难懂,学生学习起来有一定的难度。在各模块教学中注意贯穿主线,注意知识点的连贯性和顺序性,讲清概念,理清思路是首要条件;注重教学设计,对教学对象的情况进行分析,了解学生的基础知识掌握程度、使用计算机的能力等实际情况设计好的最优化教学方案,利用课堂教学(板书+课件)和课程网站开展“双主型”(教师主导+学生主体)教学。
4、考核要求:紧紧围绕“以学生能力形成为核心”的教育理念,建议改变以往的单一的考核方式,加大过程性考核比重。
三、课程目标
本课程以离散量作为研究对象,涉及的内容较广,充分描述了计算机科学离散性的特点,它是计算机科学与理论研究必不可少的基础理论工具。结合我校应用型人才培养要求和围绕“以学生能力形成为核心”的教育理论,我校计算机科学与技术专业离散数学课程的教学目标是使学生能够熟练应用离散数学的知识来进行实际应用系统的建模和分析。该教学目标由以下几个支撑部分组成:
1、知识获取能力:具有良好的知识结构,为学习其他课程打下基础。学习本课程,使学生初步掌握处理离散结构所必须的描述工具和方法,能够比较容易地看懂种种形式化的表述。
2、基本应用能力:掌握离散数学的语言,使学生能够使用典型的离散模型对实际问题给出基础的描述(建模)。
3、实践能力:掌握离散数学的分析方法,针对实际问题设计好的解决方案并加以实施。
4、培养创新意识:结合专业发展历史与最新前沿,了解离散数学新的发展和应用,启迪学生的创新意识。
四、内容大纲
离散数学课程内容分为四个领域:集合论、数理逻辑、图论、代数结构。本大纲定位于应用型人材培养,本课程内容的选取和各知识点的要求均以“应用”为基点,“实用为主,够用为度”的原则,重点讲授集合论和数理逻辑,图论部分中主要讲授基本概念及应用,代数结构部分主要进行基本概念介绍。
【《离散数学》内容矩阵】
《离散数学》内容矩阵如下表所示:
领域
知识模块
一级知识点
二级知识点(每个知识点代表相对独立的一项概念、理论、方法等)
学时分配(讲
授+讨论+习题)
数
理
逻
辑
命
题
逻
辑
1、命题
命题,真值,原子命题,复合命题
14+2+2
2、联接词
否定,合取,析取,蕴涵,双向蕴涵
3、命题公式
命题常元,变元,命题公式,真值表,指派
4、语句形式化
语句的形式化基本技能
5、重言式
重言式(永真式),可满足式,矛盾式(永假式),
逻辑等价式,逻辑蕴涵式,代入规则,替换规则,有效推理,对偶式,对偶原理
6、范式
布尔析取,布尔合取,析取范式,合取范式,极大项,极小项,主合取范式,主析取范式
7、联接词规约
联接词扩充,完备连接词组
8、形式演绎
证明,演绎,推理规则
谓
词
逻
辑
1、个体,个体域
个体常元,个体变元,个体项,个体域,全总域
10+2+2
2、谓词
谓词,谓词的元数,谓词填式
3、量词
量词,全称量词,存在量词,量词的辖域,约束变元,自由变元
4、语句的形式化
谓词公式,特性谓词,语句的形式化基本技能
5、谓词演算永真式
谓词逻辑等价式,谓词逻辑逻辑蕴涵式,有效推理,
前束范式
6、谓词公式的真值
永真式,可满足式,永假式
7、