4.2一阶逻辑公式及其解释
辅导
讲授
2
2
练习
作业
四
9.19- 9.23
第五章一阶逻辑等值演算与推理
5.1一阶逻辑等值式与置换规则
5.2一阶逻辑前束范式
5.3一阶逻辑的推理理论
习作课
讲授
辅导
2
2
作业
练习
五
9.26- 9.30
第六章集合代数
6.1集合的基本概念6.2集合的运算
6.3有穷集的计数6.4集合恒等式
参考书：《离散数学》，黄振杰，厦门大学出版社
系审室查领意导见
备
注
1．总评成绩=作业（含习作课）* 15% +考勤* 10% +
课堂练习* 5% +期末成绩* 70%
2．期末考试全系统一安排。
教学进度表
周
次
日
期
教学内容
教学
方式
计划
时数
作业、测
验方式
一
8.31-9.2
第一章命题逻辑的基本概念
1.1命题与联结词
习作课
讲授
辅导
2
2
作业
练习
十三
11.21- 11.25
第十四章图的基本概念
14.1图14.2通路与回路
14.3图的连通性14.4图的矩阵表示
讲授
讲授
2
2
作业
作业
十四
11.28- 12.2
习作课
第15章欧拉图与哈密顿图
15.1欧拉图15.2哈密顿图
15.3最短路问题与货郎担问题
辅导
讲授
2
2
练习
作业
十五
17.4平面图的对偶图
讲授
4
作业
十九
元.2
习作课期末复习考试
第七章二元关系
7.1有序对与笛卡儿积
7.2二元关系7.3关系的运算
讲授
讲授
2
2
作业
作业
六
10.3- 10.7
7.4关系的性质7.5关系的闭包
习作课
讲授
辅导
2
2
作业
练习
七
10.10-10.14
7.6等价关系与划分
7.7偏序关系
讲授
讲授
2
2
作业
作业
八
10.17-10.21
第八章函数
8.1函数的定义与性质
习作课
讲授
辅导
2
2
作业
练习
十一
11.7- 11.11
第十三章递推方程与生成函数
13.1递推方程的定义与实例
13.2递推方程的公式解法
13.3递推方程的其他解法
习作课
讲授
辅导
2
2
作业
练习
十二
11.14- 11.18
13.4生成函数及其应用
13.5指数生成函数及其应用
13.6 Catalan数与Stirling数
12.5- 12.9
第十六章树
16.1无向树及其性质16.2生成树
习作课
讲授
辅导
2
2
作业
练习
十六
12.12- 12.16
16.3根树及其应用
习作课
讲授
辅导
2
2
作业
练习
十七
12.19- 12.23
第十七章平面图
17.1平面图的基本概念17.2欧拉公式17.3平面图的判断
讲授
4
作业
十八
12.26-12.30
8.2函数的复合与反函数
8.3双射函数与集合的基数
习作课
讲授
辅导
2
2
作业
练习
九
10.24-10.28
第十二章基本的组合计数公式
12.1加法法则与乘法法则
12.2排列与组合
习作课
讲授
辅导
2
2
作业
练习
周
次
日
期
教学内容
教学
方式
计划
时数
作业、测
验方式
十
10.31- 11.4
12.3二项式定理与组合恒等式
12.4多项式定理
漳州师范学院
学期授课计划
离散数学课程
计算机科学与工程系
计算机科学与技术（师本）(非师)专业10级用
（二0一一年九月至二0一二年元月）
计算机科学与工程系计算机软件与理论教研室
任课教师林宣治
（二0一一年九月填）
教学要求与安排
课
程
目
的
要
求
通过本课程的学习，使学生初步掌握学习和研究计算机科学的基础理论，掌握集合论、组合数学、图论、数理逻辑等现代数学的基础知识及其初步应用方法，了解离散量的结构及相互关系，培养抽象思维和严格逻辑推理的能力，提高学生缜密思维、严格推理、综合归纳分析的能力，学习处理离散结构的方法，培养解决问题的能力和创新精神，为今后学习相关的计算机专业课程打下坚实的基础，为从事计算机科学的理论研究提供坚实的理论基础，为将来软、硬件开发及应用研究提供有力工具。
本课程共1学期现进行到第1学期
教
学
形
式
及
时
间
分
配
教学时数
学期考核方法
本
课
程
总
时
数
本
学
期
总
时
数
本
学
期
上
课
周
数
每
周
时
数
教学形式
讲
课
实
验
习
题
课
实
习
社会
调
查
其
他
考试
72
72
18
4
48
20
4
教
学
任
务
分
工
姓名
工作内容
任课时数
姓名
工作内容
任课
时数
林宣治
10级非师(1)(2)班(授课辅导)
72
教
材
参
考
书
教材：《离散数学》，耿素云，屈婉玲，高等教育出版社
1.2命题公式及其赋值
第二章命题逻辑等值演算
2.1等值式2.2析取范式与合取范式
讲授
讲授
2
2
作业
作业
二
9.5-9.9
2.3联结词的完备集
2.4可满足性问题与消解法
第三章命题逻辑的推理理论
3.1推理的形式结构
3.2自然推理系统P
讲授
讲授
2
2
作业
作业
三
9.12-9.16
习作课
第四章一阶逻辑基本概念
4.1一阶逻辑命题符号化