离散数学教案设计.pdfVIP

滁州学院计算机与信息工程学院

课程教案

课程名称:

离散数学

授课教师:

授课对象:

授课时间:

《离散数学》教学大纲

D（iscreteMathematic）

课程代码：学时：48学分：3

一、课程简介

本大纲根2009版应用型人才培养方案制订。

（一）教学对象：网络工程、计算机科学与技术专业本科学生

（二）开课学期：第三学期

（三）课程类别专业基础课

（四）考核方式：考试

（五）参考教材：《离散数学》第2版邓辉文清华大学出版社2010.

主要参考书目:

[1]邵学才，叶秀明.离散数学M.北京电子工业出版社，2009.

[2]邵志清，虞慧群.离散数学M.北京电子工业出版社，2003.

[3]屈婉玲.离散数学习题解析[M].北京大学出版古，2008.

本课程的先修课程是高等数学、线性代数，后续课程包含数结构、数库原理

及应用、操作系统、数字逻辑、人工智能、算法分析与设计等。

二、教学基本要求与内容安排

（一）教学目的与要求

离散数学是研究离散量的结构及其相互关系的学科，它在各学科领域特别在

计算机科学领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程

必不可少的先行课程。

本课程的教学目的旨在通过对离散数学的教学，让学生不但可以掌握处理如集

合、代数结构和图等离散结构的描述工具和方法，为后续课程的学习创造条件,

而且为学生今后提高专业理论水平，从事计算机行业的实际工作提供必备的抽象

思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基

础。

(二)教学内容安排

学时分配

教学教学重点难点

教学内容要求方法(☆)(△)讲课实上其备注

验机他

第一部分数理逻辑讲授15.5

1命题逻辑的基本概念2

1.1命题与联接词B☆1

1.2命题公式及其赋值A☆A1

2命题逻辑等值演算3.5

2.1等值式B☆1

2.2析取范式与合取范式A☆A1

2.3联接词的完备集C0.5

2.4可满足性与消解法B1

3命题逻辑的推理理论2

3.1推理的形式结构A☆1

3.2自然推理系统PBA1

4一阶逻辑基本概念2

4.1一阶逻辑命题符号化