登录
注册
登录
注册
离散数学
简介
查看课程
课时列表
第课时 : 第八章
第课时 : 第七章第一节
第课时 : 第六章
第课时 : 第九章
第课时 : 第七章第二节
第课时 : 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）
