教学目标
上一节
下一节
教学目标：
熟悉一阶逻辑的基本概念：命题逻辑的局限性，个体词、谓词与量词，一阶逻辑命题符号化，一阶逻辑公式与分类；
掌握一阶逻辑等值演算：一阶逻辑等值式与置换规则，一阶逻辑前束范式；
刘香菊
目录
-
课程资料
-
● 新版PPT
-
● 课程标准
-
● 教材目录
-
● 教学日历
-
● 教案
-
● 课程全过程学业评价大纲
-
● 说课课件
-
● 参考资料（电子书）pdf
-
-
数学语言与证明方法
-
● 教学目标
-
● 学习任务单
-
● 常用的数学符号
-
● 集合的基本概念和表示法
-
● 集合的关系
-
● 集合的运算
-
● 后继集与自然数
-
● 证明方法概述、递归定义
-
● 小结
-
● 讨论
-
● 章节测验
-
● 作业
-
● 拓展资料
-
-
命题逻辑
-
● 教学目标
-
● 学习任务单
-
● 命题逻辑-命题
-
● 命题逻辑-联接词
-
● 命题逻辑-其他联接词
-
● 命题逻辑-命题公式
-
● 命题逻辑-等值演算
-
● 命题逻辑-主析取范式
-
● 命题逻辑-主合取范式
-
● 命题逻辑-推理定理
-
● 命题逻辑-推理证明方法
-
● 小结
-
● 讨论
-
● 章节测验
-
● 作业
-
-
谓词逻辑
-
● 教学目标
-
● 学习任务单
-
● 谓词逻辑-基本概念
-
● 谓词逻辑-谓词演算公式
-
● 谓词逻辑-谓词公式的解释和分类
-
● 谓词逻辑-谓词演算关系式
-
● 谓词逻辑-前束范式
-
● 谓词逻辑-谓词逻辑的推理规则
-
● 谓词逻辑-谓词逻辑推理证明举例
-
● 小结
-
● 讨论
-
● 章节测验
-
● 作业
-
● 拓展资料
-
-
关系
-
● 教学目标
-
● 学习任务单
-
● 关系的概念与笛卡尔积
-
● 关系的表示法
-
● 关系的运算
-
● 关系的性质
-
● 关系闭包
-
● 等价关系
-
● 偏序关系
-
● 集合的基数
-
● 小结
-
● 讨论
-
● 章节测验
-
● 作业
-
● 拓展资料
-
-
函数
-
● 教学目标
-
● 学习任务单
-
● 函数的定义
-
● 函数的复合和反函数
-
● 小结
-
● 讨论
-
● 章节测验
-
● 作业
-
● 拓展资料
-
-
第6章 图
-
● 教学目标
-
● 学习任务单
-
● 图论的起源和发展
-
● 图的基本概念
-
● 图的分类
-
● 子图和补图
-
● 图的同构
-
● 通路和回路
-
● 图的连通性
-
● 图的表示
-
● 小结
-
● 讨论
-
● 章节测验
-
● 作业
-
● 拓展资料
-
-
图（几种特殊的图）
-
● 教学目标
-
● 学习任务单
-
● 欧拉图
-
● 哈密顿图
-
● 最短路径问题
-
● 中国邮路问题
-
● 二分图
-
● 平面图
-
● 对偶图和图的着色
-
● 小结
-
● 讨论
-
● 章节测验
-
● 作业
-
● 拓展资料
-
-
树及其应用
-
● 教学目标
-
● 学习任务单
-
● 树的定义
-
● 根树
-
● 根树的应用
-
● 小结
-
● 讨论
-
● 章节测验
-
● 作业
-
● 拓展资料
-
-
代数系统的基本概念（选学）
-
● 抽象代数 - 代数系统引言
-
● 抽象代数 - 运算和代数系统
-
● 代数系统 - 特殊元素
-
● 代数系统间的关系
-
● 章节测验
-
-
群、环和域（选学）
-
● 半群和独异点
-
● 群的概念
-
● 子群
-
● 特殊群 - 循环群和置换群
-
● 陪集与Lagrange定理
-
● 群的同态与同构
-
● 环和域的概念
-
● 子环和环同态
-
● 章节测验
-
-
格和布尔代数（选学）
-
● 格的概念
-
● 格的性质
-
● 子格与格同态
-
● 特殊格
-
● 布尔代数
-
● 章节测验
-
