京东 11.11 红包
【离散数学】23谓词公式的等价与蕴涵关系、范式（前束范式的概念、
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
【离散数学】26 公式G与它的Skolem范式S之间的关系
...
【离散数学】20主析取范式的两种求法（极小项法和真值表法）、定理：对任意公式存在唯一一个与其等价的主析取范式、恒正恒假性的判定
...
【离散数学】25求前束范式为何用改名规则 、skolem范式的基本概念
...
【离散数学】27上节谓词公式与它的斯科伦范式间的关系证明的解释、第四章图与网路（图的概念、同构、子母图）
...
【离散数学】17 用蕴含证明例题③ 基本蕴含式 公式蕴含的证明 形式演绎法
...
【离散数学】关系的 自反 传递 对称 反自反 反对称
...
【离散数学】23谓词逻辑中公式的定义、改名规则（约束与自由）、谓词公式的解释、等价与蕴涵
...
【离散数学】29 简单路 回路 连通分支 4.1.2权图 Dijkstra算法(权值、最短路、dijkstra算法的概念
...
【离散数学】31 4.2树（4.2.1树及其等价命题 证明定理与引理
...
【离散数学】35 复习有向图的概念 有向树的定义和性质
...
【离散数学】18 形式演绎法例题 新知：范式
...
【大学物理】26毕奥萨伐尔定律的应用（载流直导线的磁场、载流圆形线圈的磁场、载流直螺线管内部磁场） 例（1）
...
【离散数学】7 部分序集的子集的极大元最大元 上下界
...
【大学物理】20 高斯定理求场强（柱对称、平面对称、总结）新知：电势能之电场力做功
...
【离散数学】21解决恒真恒假的判定的问题（3种方法）、主合取范式、谓词逻辑引入
...
偏微分方程，第一讲（Partial differential equations, 1st Class, MTH210@XJTLU, 2022）
...
【离散数学】39 Hamilton图的充分条件 定理4.4.2的证明 闭合图的定义
...
【离散数学】10 可数集合的种类和证明
...
【离散数学2】1群的概念
...
【微积分】41 重积分（导读、二重积分的概念与性质、
...
【微积分】10 空间几何 直线间夹角 直线与平面的交点和夹角
...
【离散数学】32 支撑树推论 4.2.2最优树 Kruskal算法
...
【大学物理】22两种求电势的方法 例题和总结
...
【离散数学】9 集合的基数 可数集合
...
【计算机组成原理】6.3移位运算
...
【离散数学】11 不可数集合 康托三角证明连续统问题
...
【离散数学】30 dijkstra算法（例题、指导思想、执行过程、定理4.1.3的证明
...
【微积分】38 标准化作业四
...
【面向对象程序设计】28/29 抽象类 用两种方法实现终结类 类的六种关系 设计原则 什么是设计模型
...
【离散数学】15 蕴含关系及相关定理的证明，演绎及相关定理的证明（演绎也是一种蕴含
...
【微积分】36 标准化作业三（1）选填 计算1
...
【大学物理】33 复习：动生感生电动势 新知：磁场能量（略）、位移电流
...
【大学物理】31 6.2动生与感生电动势（概念、计算动生电动势）
...
【大学物理】12 静电场（用场强叠加原理求连续带电体的电场
...
【离散数学】38 定理4.3.3有向树 4.4Hamilton图（18:40から）哈密尔顿路以及必要条件
...
【面向对象程序设计】23 多态（2）虚函数解决多态问题、类型转换
...
【微积分】49 含参变量的积分与反常重积分（1）导读、含参变量积分的定义、
...
【离散数学】等价关系 商集 划分
...
【大学物理】42 衍射 惠更斯原理 夫琅禾费单缝衍射
...
【离散数学】28补图、度、关联矩阵、邻接矩阵、握手定理、路