文档介绍：课程教案
课程名称:
离散数学
授课教师:
赵欢欢
授课对象:
11级网络工程专业3、4班
授课时间:
2012年9月-2012年12月
滁州学院计算机科学与信息工程学院
2012年8月
《离散数学》教学大纲
(Discrete Mathematic)
课程代码: 学时:48 学分:3
一、课程简介
本大纲根据2009版应用型人才培养方案制订。
(一)教学对象:网络工程、计算机科学与技术专业本科学生
(二)开课学期:第三学期
(三)课程类别:专业基础课
(四)考核方式:考试
(五)参考教材:《离散数学》第2版邓辉文清华大学出版社 2010.
主要参考书目:
[1]邵学才,叶秀明. 离散数学[M].北京电子工业出版社,2009.
[2]邵志清,虞慧群. 离散数学[M].北京电子工业出版社,2003.
[3]屈婉玲. 离散数学习题解析[M].北京大学出版社,2008.
本课程的先修课程是高等数学、线性代数,后续课程包含数据结构、数据库原理及应用、操作系统、数字逻辑、人工智能、算法分析与设计等。
二、教学基本要求与内容安排
(一)教学目的与要求
离散数学是研究离散量的结构及其相互关系的学科,它在各学科领域特别在计算机科学领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程必不可少的先行课程。
本课程的教学目的旨在通过对离散数学的教学,让学生不但可以掌握处理如集合、代数结构和图等离散结构的描述工具和方法,为后续课程的学,从事计算机行业的实际工作提供必备的抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。
(二)教学内容安排
教学内容
教学要求
教学
方法
重点
(☆)
难点
(Δ)
学时分配
备注
讲课
实验
上机
其他
第一部分数理逻辑
讲授
1命题逻辑的基本概念
2
B
☆
1
A
☆
Δ
1
2命题逻辑等值演算
B
☆
1
A
☆
Δ
1
C
B
1
3命题逻辑的推理理论
2
推理的形式结构
A
☆
1
自然推理系统P
B
Δ
1
4一阶逻辑基本概念
2
A
☆
1
一阶逻辑公式及解释
A
☆
Δ
1
5一阶逻辑等值演算与推理
3
一阶逻辑等值式与置换规则
A
☆
1
一阶逻辑前束范式
A
☆
1
一阶逻辑的推理理论
A
☆
Δ
1
6数理逻辑在计算机中的应用
3
第二部分集合论
讲授
13
1集合代数
2
集合的基本概念
B
集合的运算
A
☆
有穷集的计数
C
集合恒等式
A
☆
2二元关系
6
有序对与笛卡尔积
A
☆
1
二元关系
A
☆
1
关系的运算
A
☆
1
关系的性质
A
☆
Δ
1
关系的闭包
A
☆
1
等价关系与划分
A
☆
Δ
1
3函数
3
函数的定义与性质
A
☆
A
☆
C
Δ
1
一个电话系统的描述实例
C
Δ
1
4集合论在计算机中的应用
2
第三部分代数结构
讲授
6
1代数系统
3
二元运算及其性质
A
☆
1
代数系统
A
☆
1
代数系统的同态与同构
B
Δ
1
2群与环
3
群的定义及其性质
A
☆
1
循环群与置换群
A
☆
Δ
2
第四部分图论
讲授
12
1图的基本概念
图
A
☆
连通与回路
A
☆
图的连通性
A
☆
图的矩阵表示
A
☆
图的运算
A
☆
Δ
2欧拉图与哈密顿图
2
欧拉图
A
☆
哈密顿图
A
☆
最短路问题与货郎担问题
C
Δ
1
3树
无向树及其性质
A