file:Playlist.dpl file:1.2.2 真值函数.mp4 file:1.2.1 命题公式_zh.srt file:1.2.2 真值函数_zh.srt file:1.2.3 命题形式化.mp4 file:1.1.2 什么是命题_zh.srt file:1.1.6 逻辑联结词（下）_zh.srt file:1.1.3 排中律_zh.srt file:1.1.2 什么是命题.mp4 file:1.1.4 命题符号化_zh.srt file:1.1.3 排中律.mp4 file:1.1.1 数理逻辑介绍_zh.srt file:1.1.4 命题符号化.mp4 file:1.1.1 数理逻辑介绍.mp4 file:1.1.5 逻辑联结词（上）.mp4 file:9.2.3 树的应用_zh.srt file:9.2.2 树.mp4 file:9.2.1 平面图.mp4 file:9.2.3 树的应用.mp4 file:9.2.1 平面图_zh.srt file:9.1.3 二分图的匹配_zh.srt file:9.1.2 二分图.mp4 file:9.1.1 图的矩阵表示_zh.srt file:9.1.1 图的矩阵表示.mp4 file:3.3.2 命题演算形式系统PC_zh.srt file:3.3.1 形式系统和证明、演绎.mp4 file:3.3.2 命题演算形式系统PC.mp4 file:3.3.1 形式系统和证明、演绎_zh.srt file:3.3.3 PC中的定理证明.mp4 file:3.3.5 定理判定问题.mp4 file:3.3.3 PC中的定理证明_zh.srt file:3.3.5 定理判定问题_zh.srt file:3.3.4 三个元定理_zh.srt file:3.3.4 三个元定理.mp4 file:3.1.4 证明逻辑等价式和逻辑蕴涵式.mp4 file:3.1.2 逻辑等价式和逻辑蕴涵式_zh.srt file:3.1.3 代入原理和替换原理.mp4 file:3.1.1 重言式.mp4 file:3.1.3 代入原理和替换原理_zh.srt file:3.1.1 重言式_zh.srt file:3.2.4 联结词集完备性_zh.srt file:3.2.1 范式及基本术语.mp4 file:3.2.1 范式及基本术语_zh.srt file:3.2.3 主范式.mp4 file:3.2.4 联结词集完备性.mp4 file:3.2.2 求范式的一般步骤.mp4 file:3.2.2 求范式的一般步骤_zh.srt folder:离散数学概论 - 北京大学 folder:1 数理逻辑-基本概念 folder:9 图论-特殊图 folder:3 数理逻辑-命题逻辑及形式系统 folder:10 抽象代数 folder:12 形式语言与自动机-有限状态机 folder:2 课程介绍 folder:11 形式语言与自动机：基本概念 folder:6 集合论-集合代数 folder:5 集合论 folder:13 形式语言与自动机-图灵机与计算理论 folder:8 图论：图的基本概念 folder:7 集合论-特殊关系及函数 folder:1.2 命题公式 folder:1.1 命题与联结词 folder:9.2 树 folder:9.1 二分图 folder:3.3 命题演算形式系统 folder:3.1 重言式 folder:3.2 范式 folder:10.3 代数结构间的关系 folder:10.1 代数结构 folder:10.2 特殊元素 folder:12.2 商机器 folder:12.1 状态图 folder:12.3 带输出的机器 folder:2.1 课程简介 folder:2.2 正式内容之前 folder:11.1 形式语言 folder:11.2 形式语法分类 folder:6.2 关系运算 folder:6.3 关系特性 folder:6.1 关系定义 folder:5.1 集合基本概念 folder:5.2 归纳定义 folder:13.1 图灵机 folder:13.3 停机问题 folder:4.3 自然推理系统 folder:4.2 谓词演算形式系统 folder:4.1 谓词公式 folder:8.2 连通性 folder:8.1 图的定义 folder:7.1 特殊关系 folder:7.2 函数