常见问题
关于我们
成教融合平台
常见问题
关于我们
登录
注册
登录
注册
离散数学
第25任务： 3.4 一阶逻辑推理理论
查看课程
任务列表
第1任务： 1.1 绪论
第2任务： 1.1 绪论
第3任务： 2.1 命题符号化及联结词
第4任务： 2.1 命题符号化及联结词
第5任务： 2.2 命题公式及分类
第6任务： 2.2 命题公式及分类
第7任务： 2.3 等值演算
第8任务： 2.3 等值演算
第9任务： 2.4 范式
第10任务： 2.4 范式
第11任务： 2.5 联结词全功能集
第12任务： 2.5 联结词全功能集
第13任务： 2.6 推理理论
第14任务： 2.6 推理理论
第15任务： 2.7 小结和习题
第16任务： 2.7 小结和习题
第17任务： 2.8 思考题
第18任务： 3.1 一阶逻辑的基本概念
第19任务： 3.1 一阶逻辑的基本概念
第20任务： 3.2 一阶逻辑合式公式及解释
第21任务： 3.2 一阶逻辑合式公式及解释
第22任务： 3.3 一阶逻辑等值式与前束范式
第23任务： 3.3 一阶逻辑等值式与前束范式
第24任务： 3.4 一阶逻辑推理理论
第25任务： 3.4 一阶逻辑推理理论
第26任务： 3.5 本章小结和典型题例分析
第27任务： 3.5 本章小结和典型题例分析
第28任务： 4.1 集合的基本概念
第29任务： 4.1 集合的基本概念
第30任务： 4.2 集合的基本运算
第31任务： 4.2 集合的基本运算
第32任务： 4.3 集合中元素的计数
第33任务： 4.3 集合中元素的计数
第34任务： 4.4 本章小结
第35任务： 4.4 本章小结
第36任务： 5.1 集合的笛卡儿积与二元关系
第37任务： 5.1 集合的笛卡儿积与二元关系
第38任务： 5.2 关系的运算
第39任务： 5.2 关系的运算
第40任务： 5.3 关系的性质
第41任务： 5.3 关系的性质
第42任务： 5.4 关系的闭包
第43任务： 5.4 关系的闭包
第44任务： 5.5 等价关系和偏序关系
第45任务： 5.5 等价关系和偏序关系
第46任务： 5.6 函数的定义和性质
第47任务： 5.6 函数的定义和性质
第48任务： 5.7 函数的复合和反函数
第49任务： 5.7 函数的复合和反函数
第50任务： 5.8 思考题
第51任务： 6.1 无向图及有向图
第52任务： 6.1 无向图及有向图
第53任务： 6.2 通路、回路、图的连通性
第54任务： 6.2 通路、回路、图的连通性
第55任务： 6.3 图的矩阵表示
第56任务： 6.3 图的矩阵表示
第57任务： 6.4 最短路径、关键路径
第58任务： 6.4 最短路径、关键路径
第59任务： 7.1 二部图
第60任务： 7.1 二部图
第61任务： 7.2 欧拉图
第62任务： 7.2 欧拉图
第63任务： 7.3 哈密顿图
第64任务： 7.3 哈密顿图
第65任务： 7.4 平面图
第66任务： 7.4 平面图
第67任务： 8.1 无向树及生成树
第68任务： 8.1 无向树及生成树
第69任务： 8.2 根树及其应用
第70任务： 8.2 根树及其应用
第71任务： 9.1 二元运算及其性质
第72任务： 9.1 二元运算及其性质
第73任务： 9.2 代数系统
第74任务： 9.2 代数系统
第75任务： 9.3 几个典型的代数系统
第76任务： 9.3 几个典型的代数系统
第77任务： 10.1 串讲一 数理逻辑（第1、2章）
第78任务： 10.1 串讲一 数理逻辑（第1、2章）（1）
第79任务： 10.1 串讲一 数理逻辑（第1、2章）（2）
第80任务： 10.1 串讲一 数理逻辑（第1、2章）（3）
第81任务： 10.2 串讲二 集合论（第3、4章）
第82任务： 10.2 串讲二 集合论（第3、4章）
第83任务： 10.3 串讲三 图论（第5、6、7章）
第84任务： 10.3 串讲三 图论（第5、6、7章）
第85任务： 10.4 串讲四 代数系统（第9章）
第86任务： 10.4 串讲四 代数系统（第9章）
第87任务： 11.1 03月11日09:00直播
第88任务： 11.2 04月15日09:00直播
第89任务： 11.3 05月20日09:00直播
第90任务： 12.1 2024-05-29 19:00 ~ 2024-05-29 22:00
第91任务： 课程作业