登录
注册
登录
注册
离散数学
简介
查看课程
课时列表
第课时 : 第八章
第课时 : 第七章第一节
第课时 : 第六章
第课时 : 第九章
第课时 : 第七章第二节
第课时 : 3.3 谓词演算的等价式蕴含式
第课时 : 3.5 谓词演算的推理理论
第课时 : 3.1 谓词的概念与表示(1)
第课时 : 第四章
第课时 : 2.3 自然推理系统(1)
第课时 : 2.2 主范式(3)
第课时 : 3.1 谓词的概念与表示(2)
第课时 : 3.2 合式公式
第课时 : 3.4 前束范式
第课时 : 2.2 主范式(2)
第课时 : 2.3 自然推理系统(2)
第课时 : 2.2 主范式(1)
第课时 : 1.2 命题公式的等值演算(3)
第课时 : 2.1 范式
第课时 : 1.3 联结词完备集
第课时 : 1.2 命题公式的等值演算(1)
第课时 : 1.2 命题公式的等值演算(2)
第课时 : 1.2 命题公式的等值演算(4)
第课时 : 1.1 命题与命题联结词(2)
第课时 : 1.1 命题与命题联结词(1)
第课时 : 第五章第一节
第课时 : 第五章第二节(1-4)
第课时 : 第五章(5-6)