离散数学_学校教（学）案.docVIP

DOC文档. 理工大学 教案首页 第 1 次课 授课时间 2017 年 9 月 14 日 教案完成时间： 2017 年 9 月 10 日 课程名称 离散数学 年 级 2017 级 专业、层次 计算机学院(本科) 教 师 专业技术 职 务 讲师 授课方式 （大、小） 大 学时 2 授课题目（章、节） §4.1谓词和量词，§4.2一阶语言 基本教材或主要参考书 《离散数学》 爱民 邮电大学 教学目的和要求： 1.全称量词，存在量词，存在唯一量词； 2. 一阶语言、解释和赋值 大体容与时间安排，教学方法： 1. 介绍全称量词，存在量词，存在唯一量词，练习将命题符号化(45min)； 2.介绍一阶语言，对于具体的公式，给出解释和赋值（45min）； 教学重点、难点： 1. 命题符号化 2. 公式的解释和赋值 （主要容题纲） §4.1谓词和量词 全称量词， 全称量词(Universal Quantifier)：在自然语言中“所有的”、“一切”、“任意的”、“每一个”等表示数量的词，称为全称量词。它用于描述讨论围中的全部个体，用符号“?”表示。 存在量词， 存在量词(Existential Qua