热门课程
自学考试
广告学
市场营销
人力资源管理
工商管理
成人高考
留学申请
广东普通专升本（专插本）
星启明知识服务 | 自考在线课程
热门课程
自学考试
广告学
市场营销
人力资源管理
工商管理
成人高考
留学申请
广东普通专升本（专插本）
登录
注册
切换触屏版
登录
注册
离散数学
第47任务： 第三章 第五节 谓词演算的推理理论
查看课程
任务列表
第29任务： 第一章 第一节 命题与命题联结词（1）
第30任务： 第一章 第一节 命题与命题联结词（2）
第31任务： 第一章 第二节 命题公式的等值演算（1）
第32任务： 第一章 第二节 命题公式的等值演算（2）
第33任务： 第一章 第二节 命题公式的等值演算（3）
第34任务： 第一章 第二节 命题公式的等值演算（4）
第35任务： 第一章 第三节 联结词完备集
第36任务： 第二章 第一节 范式
第37任务： 第二章 第二节 主范式（1）
第38任务： 第二章 第二节 主范式（2）
第39任务： 第二章 第二节 主范式（3）
第40任务： 第二章 第三节 自然推理系统（1）
第41任务： 第二章 第三节 自然推理系统（2）
第42任务： 第三章 第一节 谓词的概念与表示（1）
第43任务： 第三章 第一节 谓词的概念与表示（2）
第44任务： 第三章 第二节 合式公式
第45任务： 第三章 第三节 谓词演算的等价式蕴含式
第46任务： 第三章 第四节 前束范式
第47任务： 第三章 第五节 谓词演算的推理理论
第48任务： 第四章 第一节 集合
第49任务： 第四章 第二节 集合的运算
第50任务： 第五章 第一节 关系与函数
第51任务： 第五章 第二节 关系的运算
第52任务： 第五章 第三节 关系闭包
第53任务： 第六章 第一节 函数的概念
第54任务： 第七章 第一节 格与布尔代数
第55任务： 第七章 第二节 布尔代数
第56任务： 第八章 第一节 离散数学图论篇
第57任务： 第九章 第一节 图的应用
