最新离散数学-学校教案

安徽理工大学

教案首页

第 1 次课授课时间2017 年9 月14 日教案完成时间：2017 年9 月10 日课程名称离散数学年级2017 级专业、层次计算机学院(本科)

教师专业技术

职务

讲师

授课方式

（大、小）

大学时 2

授课题目（章、节）§4.1谓词和量词，§4.2一阶语言基本教材或主要参考书《离散数学》刘爱民北京邮电大学出版社

教学目的和要求：

1.全称量词，存在量词，存在唯一量词；

2. 一阶语言、解释和赋值

大体内容与时间安排，教学方法：

1. 介绍全称量词，存在量词，存在唯一量词，练习将命题符号化(45min)；

2.介绍一阶语言，对于具体的公式，给出解释和赋值（45min）；

教学重点、难点：

1. 命题符号化

2. 公式的解释和赋值

（

安徽理工大学

教案首页

第 1 次课授课时间2017 年9 月14 日教案完成时间：2017 年9 月10 日课程名称离散数学年级2017 级专业、层次计算机学院(本科)

教师专业技术

职务

讲师

授课方式

（大、小）

大学时 2

授课题目（章、节）§4.3 一阶逻辑等值演算，§4.4一阶逻辑形式推理基本教材或主要参考书《离散数学》刘爱民北京邮电大学出版社

教学目的和要求：

1.等值演算；前束范式

2.推理定律，推理规则

大体内容与时间安排，教学方法：

1. 介绍等值演算；前束范式，将具体公式化为前束范式(45min)；

2. 介绍推理定律，推理规则，将具体推理符号化并加以证明（45min）；

教学重点、难点：

1. 将公式化为前束范式；

2. 推理的证明

（

安徽理工大学

教案首页

第 1 次课授课时间2017 年9 月14 日教案完成时间：2017 年9 月10 日课程名称离散数学年级2017 级专业、层次计算机学院(本科)

教师专业技术

职务

讲师

授课方式

（大、小）

大学时 2

授课题目（章、节）§5.1集合的概念及表示，§5.2 集合运算基本教材或主要参考书《离散数学》刘爱民北京邮电大学出版社

教学目的和要求：

1.集合的基本概念；

2. 集合的常见运算

大体内容与时间安排，教学方法：

1. 集合的定义，元素与集合的关系，集合与集合的关系，幂集(45min)；

2.并集，交集，差集，对称差集，广义交，广义并（45min）；

教学重点、难点：

1.幂集

2.差集，对称差集，广义交，广义并