V
主页
第1章命题逻辑-第6讲-推理-2-条件论证及反证法
发布人
数理逻辑之命题推理
打开封面
下载高清视频
观看高清视频
视频下载器
第1章命题逻辑-第5讲-范式
第1章命题逻辑-第6讲-推理-1-直接推理
命题推理-条件推理与反证法
谓词推理与命题推理的区别与联系-苏格拉底三段论
量词任意量词与存在量词的应用以及谓词的翻译
图的最小生成树克鲁斯卡尔(Kruskal)算法-理论+代码
关键路径代码
谓词推理实例讲解
谓词逻辑-谓词量词
最小生成树普里姆prim算法理论讲解
单链表前插法与后插法
力矩、重心的概念;受力、力矩平衡刷题;刚体的严格定义及刚体平衡条件的严格证明
c++程序设计-第5讲控制结构-2-分支-2-实例石头剪刀布
串的匹配KMP算法
离散-张三李四王五谁在说谎推理程序实现(C python)
逻辑运算与运算符
深度学习之逻辑回归
双栈实现混合四则运算表达式
数据结构-创建链表code
第3章集合-第2讲-1-复合关系和逆关系
自考02324离散数学 丁大乔老师视频精讲串讲配套资料题库
2024ZH法考民法孟献贵《押题密卷》卷二
《离散数学》丨五分钟一个考点——谓词逻辑等值演算
离散数学 2024年4月真题 考点解析 课程代码02324 自考 计算机科学与技术 公共课
串的匹配BF算法
C语言-基本输入输出
哈夫曼树4-生成编码一行代码一解释
离散数学总结-动画版
ruls of inference(english)
c++-第5讲-控制结构-2-选择
anaconda0基础使用
不好好听 离散数学
线索二叉树
哈夫曼树-1-基本概念
哈夫曼树3-创建-一行代码一解释+表格
C语言-如何刷题-hdu1001
最短路径之迪杰斯特拉算法
floyd讲解
关系的闭包运算(warshall算法)
c++-第5讲-控制结构-1-顺序