: .
淮海工学院教学进程表
2007 --2008学年第二学期 课程离散数学 系别 计算机工程学院 专业计算机科学与技术
班级 网络071, 072 中新071计
教学进度表
周次
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
共
计
讲课
4
4
2
4
2
4
4
2
4
2
4
4
2
4
4
50
分析讨论课
2
2
2
2
2
4
14
实验课
每周时数共计
4
4
4
4
4
4
4
4
4
4
4
4
4
4
4
64
教 学 内 容 和 时 数 安 排
周次
授课日期
教学内容
教学时数
讲课
分析讨论
实验课
-二二
3月3日
第1章命题逻辑基本概念
2
3月6日
第2章命题逻辑等值演算
2
三
3月10日
2
3月13日
第3章命题逻辑的一阶理论
2
四
3月17日
2
3月20日
第4章一阶逻辑基本概念
一阶逻辑命题符号化
一阶逻辑公式及解释
2
五
3月24日
第5章一阶逻辑等值演算与推理
一阶逻辑等值式与置换规则
一阶逻辑前束范式
2
3月27日
一阶逻辑的推理理论
2
六
3月31日
2
4月3日
第6章集合代数
2
七
4月7日
第7章二兀关系
2
4月10日
2
八
4月14日
2
4月17日
2
九
4月21日
2
4月24日
2
十
4月28日
第8章函数
2
5月1日
第9章集合的基数
2
5月5日
2
十
卜-
5月8日
第10
离散数学教学进程表 来自淘豆网www.taodocs.com转载请标明出处.