楚雄师范学院课程教案.doc

《楚雄师范学院课程教案.doc》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、楚雄师范学院课程教案课程名称：　　　离散数学　　　　　　　　　　　　　　　课程代码：　　　　　　　　　　　　　　　　　　课程性质：　　　专业必修　　　　　　　　　　　　　　　开课单位：　　　　数学系　　　　　　　　　　　　　主讲教师：　　　杨波　　　　　　　　　　　　　　　教师职称：　　　讲师　　　　　　　　　　　　　　　开课时间：二○一一至二○一二学年第一学期二○一一年九月编课程基本情况授课专业信息与计算数学授课班级数学系系2010级学生人数47课程学时总学时：　　90　　　理论学时：　　90　　　实验学时：　　0　　　　上机学时：　0　　　课程类型理论科课程学分5授课周数5考核方

2、式闭卷考使用教材√统编教材　　□自编教材或讲义书名作者出版社出版时间教材《离散数学》屈婉玲高等教育出版社2008年4月教学参考用书《离散数学》吴顺唐华东师范大学出版社2001年12月《离散数学》李盘林高等教育出版社2004年1月《离散数学学习指导与习题解析》屈婉玲高等教育出版社2005年3月教学媒体资源学习规范要求本门课程为考试课，期中考试安排在12周进行，期末考试安排在20周进行。平时作业占本门课程考试总成绩的30%，期末考试成绩占本门课程考试总成绩的70%。学生学习过程中要求平时作业每周上交一次，期中考试要按时参加，否则要扣除相应平时成绩。超过学院规定就不得参加期末考试。　　　第

3、　1　　次（2课时）教案教学章节第三章命题演算3.1命题与逻辑联结词（3.1.1，3.1.2）日期第2周星期四第1，2节教学目标要求1、分清简单命题与复合命题。2、深刻理解五种常用联结词、、、、的涵义，并能准确地应用它们将基本复合命题及复合命题符号化，并且由所含简单命题的真值许迅速求出复合命题的真值。教学内容基本概念：命题：，命题的真值，命题的表示符号，命题真值的表示符号，真命题：，假命题：，简单命题：复合命题：命题联结词：否定式：合取式：析取式：蕴涵式：等价式：基本复合命题的真值教学重点五种常用联结词、、、、的涵义教学难点由所含简单命题的真值许迅速求出复合命题的真值教学内容的深化和

4、拓宽教学方法手段黑板讲解；多媒体课件使用媒体资源教学过程设计要点教学环节教师教学活动学生活动安排1.复习2.新课讲解3.小结，布置作业一.基本概念讲解：二.命题联结词讲解课堂练习参考资料思考题与习题教学总结与反思本节内容难度不算大,但数理逻辑这部分内容比较抽象，部分学生不能准确理解逻辑联结词的内涵和外延，将一些简单的命题语句形式化时，时有出现差错。第　2　　次（2课时）教案教学章节3.1命题与逻辑联结词（3.1.3，3.1.4）日期第2周星期五第1，2节教学目标要求深刻理解命题公式的赋值、成真赋值、成假赋值、重言式、矛盾式、可满足式等概念。教学内容命题公式的赋值、成真赋值、成假赋值、

5、重言式、矛盾式、可满足式等概念。教学重点命题公式的赋值语句的形式化教学难点语句的形式化教学内容的深化和拓宽教学方法手段黑板讲解；多媒体课件使用媒体资源教学过程设计要点教学环节教师教学活动学生活动安排1.复习2.新课讲解3.小结，布置作业一.命题公式的赋值、成真赋值、成假赋值、重言式、矛盾式、可满足式等概念讲解。二.语句的形式化。课堂练习参考资料思考题与习题教学总结与反思第　3　　次（2课时）教案教学章节§3.2逻辑等价式与逻辑蕴涵式日期第3周星期1第7，8节教学目标要求理解真值表的定义并能熟练画出命题公式的真值表；准确理解逻辑等价式与逻辑蕴涵式的定义；掌握三种证明逻辑等价公式的方法和

6、三种逻辑蕴涵式的方法。教学内容命题公式的真值表及其用图；永真式、永假式及可满足式的定义；逻辑等价公式与逻辑蕴涵式的定义；三种证明逻辑等价公式的方法；三种证明逻辑蕴涵式的方法。教学重点命题公式的真值表、逻辑等价公式与逻辑蕴涵式的定义；判定逻辑等价公式与逻辑蕴涵式的方法。教学难点逻辑蕴涵式的定义及判定逻辑蕴涵式的方法教学内容的深化和拓宽介绍判定逻辑等价公式与逻辑蕴涵式的除教材外的其它方法。教学方法手段黑板讲解；多媒体课件使用媒体资源教学过程设计要点教学环节教师教学活动学生活动安排1.复习2.新课讲解3.小结，布置作业1.讲授真值表的定义；2.讲授逻辑等价公式与逻辑蕴涵式的定义；3.提出问

7、题：我们已经讲授了逻辑等价公式与逻辑蕴涵式的定义，那么如何证明两公式为逻辑等价公式与逻辑蕴涵式呢？对学生的回答作点评。4.举例说明用真值表证明两公式为逻辑等价公式与逻辑蕴涵式的步骤。5.由真值表法引出三种证明逻辑蕴涵式与逻辑等价公式的方法。课堂练习参考资料思考题与习题教学总结与反思第　4　　次（2课时）教案教学章节§3.2.3对偶原理；范式（一）日期第周星期第节教学目标要求准确理解对偶式的定义并能给出命题公式的对偶式；理解对偶原理及对偶原理的应用；准确理解