多媒体课件教学设计
多媒体课件教学设计
教学设计就是把教学系统看作是一个整体，通过确定教学目标，分析教学内容和教学对象，选择教学策略和教学媒体，实施设计方案并进行评价和修正等步骤，使教学效果达到最优化。在教学设计过程中，一切都是围绕着教学效果最优化的目的进行的。从多种可能的方案中，选择出最佳的方案，使系统具有最优的整体功能。多媒体课件的开发过程中，教学设计是关键环节，也是教学思想的具体表现。
3.1 确定教学目标
3.1.1 总体教学目标
《离散数学》是以研究离散量的结构和相互间的关系为主要目标，其研究对象是有限个或无限个元素。通过本课程的学习，使学生能运用所学的知识对具体问题提出相应的一类解决方法；培养学生抽象思维能力和逻辑推理的能力，为其他课程的学习打下坚实的理论基础。同时培养学生的自主学习能力，激发学生学习的兴趣。
3.1.2 单元教学目标
第一章 命题逻辑基本概念
本章教学目标：
1.了解命题的基本概念。
2.理解联结词的定义。
3.掌握各种复合命题的符号化。
4.了解递归定义的优点。
5.理解公式递归定义的方法。
6.掌握用真值判定公式的类型。
第二章 命题逻辑等值演算
本章教学目标：
1. 理解等值模式、能用等值演算方法解决实际问题。
2. 理解析取范式、合取范式与主析取范式、主合取范式之间的关系。
3. 掌握主析取范式、主合取范式判定公式类型和解决问题的方法。
4.了解联结词的完备集。
第三章 命题逻辑的推理理论
1. 了解推理的形式结构。
2. 了解形式结构的定义。
3. 理解推理规则的定义，自然推理系统P的定义。
4．掌握自然推理系统P中的构造性证明。
第四章 一阶逻辑基本概念
1. 了解一阶语言的概念。
2. 理解一阶逻辑与命题逻辑的区别和联系。
3. 掌握一阶逻辑命题符号化，一阶逻辑公式及解释。
第五章 一阶逻辑等值演算与推理
1. 了解一阶语言和命题语言的区别和联系，一阶逻辑自然推理系统F。
2. 理解形式语言的构造方法。
3. 掌握一阶语言的推理方法。
(责任编辑：卓想动画http://www.zxgzs.com)
