V
主页
谓词逻辑的推理
发布人
谓词逻辑的推理,其实很简单,只要掌握了四条铁律,一切迎刃而解!
打开封面
下载高清视频
观看高清视频
视频下载器
谓词逻辑推理2
谓词逻辑推理1
谓词逻辑试题讲解4
2022年期末谓词逻辑推理期末卷讲解
命题逻辑推理讲解1
谓词逻辑推理讲解3
谓词逻辑第1次A
谓词等值演算
消解法推理
等价关系与等价类
图论部分的综合习题讲解
谓词逻辑第1次B
谓词逻辑推理讲解1
关系的分类与自反及对称闭包
TSP近似算法
运算的定义及运算性质
和问题与可重复的排列问题
子群判定定理
关系复合与自反关系
组合-可重复的组合-不相邻的组合
等价关系最清晰一次
群的性质
划分与等价关系
半群-群-交换群
陪集可能讲得最清晰了
谓词逻辑习题讲解1
循环群与置换群
离散数学-谓词推理2-8C
关系闭包
网络流的EK算法
循环子群自认讲得到好
离散数学-谓词逻辑基本概念2-1C
转换群伽罗华的工具
离散数学-谓词推理2-8A
集合与关系基础
命题变元的身份与改名
群的幂次方性质
子群第二次讲
传递闭包最清晰版
假言推理2