学期授课计划-济南大学数学科学学院.pdfVIP

学 期 授 课 计 划  2009—2010 学年 第 2 学期 院 、 系： 理学院数学系 课程名称： 离散数学 课程类别： 专业基础课 计划学时 /  学期上课学时：  80/ 80  授课班级： 计算 0801；计算0802  合班情况： 两个班 授课教师： 管延勇 教研室主任签字： 系 主 任 签 字： 教学院长 签 字： 填报日期：二○一〇年二月二十五日 济南大学理学院 2009—2010 学年第 2学期授课计划 专业：信息与计算科学 课程：离散数学  2010年 2 月 25 日制  周 学 授课内容 目的要求 作业 教具、挂图、上机 备注  次 时 第一篇 数理逻辑 明确什么是命题；了解命题的真值、标识符， P8  1,3,5  一、教学目的  1  2  第一章 命题逻辑  明确命题与命题变元的不同。明确五种联结 1、掌握数理逻辑、集 §1 命题及其表示法  词的定义（取值情况），注意自然语言与目标 合论、 代数结构和图论 §2 联结词 语言的异同。  的基本概念与基本理 §3 命题公式与翻译  了解命题公式的定义，会将自然语言翻译成目 P11  3,5,7  论。  §4 真值表与等价公式  标语言；会作命题公式的真值表；会用真值表 P17  1ac,4cd,7ab  2、 通过本课程的学习， 2  §5 重言式与蕴涵式 法、等价置换法、基本等价（蕴涵）公式推理 P23   1ab,4,7,8ab  使学生了解逻辑学、 集 法证明两公式等价、重言式、蕴涵式。  合论、 代数学以及图论 §6 其它联结词 明确四种新的联结词的定义，明确其性质及与前 P29  1a,2b,5,8,9  发展的历史与现状； 了 2  2  习题课 五种的关系，了解最小联结词组的意义。  解这些学科与其他相 关学科关系； 了解它们 §7 对偶与范式 掌握对偶式的意义及性质；掌握（主）合（析 P39  1,4abc,5a,6,7  对其他相关学科， 特别 2  ）取范式的定义、性质、求法 （真值表法、等 是计算机科学的作用。  价推证）。  3、 通过本课程的学习， §8 推理理论 熟练应用真值