1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 高等教育
  5. 微积分

离散数学第2章 谓词逻辑-教案.docx

离散数学第2章 谓词逻辑-教案.docx

    PAGE

    PAGE5

    二、课程教案

    第5次课

    授课单元（章节)

    第2章谓词逻辑

    授课学时

    2

    授课类型

    讲授课(√)实践课()其它()

    授课周次

    第3周

    教学目标

    知识目标：

    1.了解谓词逻辑的引入背景，理解命题逻辑把原子命题作为不可分割单位的局限性（苏格拉底三段论、含变量的数学判断无法符号化）。

    2.掌握个体、个体常元、个体变元、个体域（论域）、全总个体域等概念，掌握谓词及一元谓词、多元谓词的概念（定义2.1）。

    3.掌握原子命题的谓词形式及其表示方法，理解个体在谓词形式中的次序对命题真值的影响（定义2.2）；了解命题函数与命题的谓词形式的区别及谓

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >