内容发布更新时间 : 2024/11/15 17:35:15星期一 下面是文章的全部内容请认真阅读。
滁州学院计算机与信息工程学院
课程教案
课程名称： 离散数学 授课教师： 赵欢欢 授课对象： 11级网络工程专业3、4班 授课时间： 2012年9月-2012年12月
滁州学院计算机科学与信息工程学院
2012年8月
1
《离散数学》教学大纲
（Discrete Mathematic）
课程代码： 学时：48 学分：3
一、课程简介
本大纲根据2009版应用型人才培养方案制订。
（一）教学对象：网络工程、计算机科学与技术专业本科学生 （二）开课学期：第三学期 （三）课程类别：专业基础课 （四）考核方式：考试
（五）参考教材：《离散数学》第2版 邓辉文 清华大学出版社 2010. 主要参考书目：
[1]邵学才,叶秀明. 离散数学[M].北京电子工业出版社，2009. [2]邵志清,虞慧群. 离散数学[M].北京电子工业出版社，2003. [3]屈婉玲. 离散数学习题解析[M].北京大学出版社，2008.
本课程的先修课程是高等数学、线性代数，后续课程包含数据结构、数据库原理及应用、操作系统、数字逻辑、人工智能、算法分析与设计等。
二、教学基本要求与内容安排
（一）教学目的与要求
离散数学是研究离散量的结构及其相互关系的学科,它在各学科领域特别在计算机科学领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程必不可少的先行课程。
本课程的教学目的旨在通过对离散数学的教学，让学生不但可以掌握处理如集合、代数结构和图等离散结构的描述工具和方法，为后续课程的学习创造条件，而且为学生今后提高专业理论水平，从事计算机行业的实际工作提供必备的抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。
2
（二）教学内容安排 教学内容 第一部分 数理逻辑 1命题逻辑的基本概念 1.1命题与联接词 1.2命题公式及其赋值 2命题逻辑等值演算 2.1等值式 2.2析取范式与合取范式 2.3联接词的完备集 2.4可满足性与消解法 3命题逻辑的推理理论 3.1 推理的形式结构 3.2 自然推理系统P 4一阶逻辑基本概念 4.1一阶逻辑命题符号化 4.2 一阶逻辑公式及解释 5一阶逻辑等值演算与推理 5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论 6数理逻辑在计算机中的应用 第二部分 集合论 1集合代数 1.1 集合的基本概念 1.2 集合的运算 1.3 有穷集的计数 1.4 集合恒等式 2二元关系 2.1 有序对与笛卡尔积 2.2 二元关系 2.3 关系的运算 2.4 关系的性质 2.5 关系的闭包 2.6 等价关系与划分 3函数 3.1 函数的定义与性质
教学要求 B A B A C B A B A A A A A B A C A A A A A A A A 教学 方法 讲授 讲授 重点 难点 学时分配 上机 其他 备注 (☆) (Δ) 讲课 实验 ☆ ☆ ☆ ☆ ☆ ☆ ☆ ☆ ☆ ☆ ☆ ☆ ☆ ☆ ☆ ☆ ☆ ☆ ☆ 3
Δ Δ Δ Δ Δ Δ Δ 15.5 2 1 1 3.5 1 1 0.5 1 2 1 1 2 1 1 3 1 1 1 3 13 2 0.5 0.5 0.5 0.5 6 1 1 1 1 1 1 3 0.5