资源详情

00 离散数学 北京大学 134讲 flv格式

00 离散数学 北京大学 134讲 flv格式

离散数学

01离散数学 北京大学 134讲

0134-KL的可靠性与和谐性.flv 181.6MB

0133-KL的解释与赋值 (VI).flv 149.5MB

0132-KL的解释与赋值 (V).flv 144.6MB

0131-KL的解释与赋值 (IV).flv 134.0MB

0130-KL的解释与赋值 (III).flv 125.8MB

0129-KL的解释与赋值 (II).flv 174.2MB

0128-KL的解释与赋值 (I).flv 147.6MB

0127-NL与KL的等价性.flv 172.9MB

0126-一阶谓词演算的形式系统KL (II).flv 120.4MB

0125-一阶谓词演算的形式系统KL (I).flv 139.7MB

0124-一阶谓词演算的自然推演形式系统NL (VI).flv 161.7MB

0123-一阶谓词演算的自然推演形式系统NL (V).flv 167.6MB

文件大小:10.5GB时间:2021-11-09举报资源

网盘链接有效,可以访问

使用说明

《00 离散数学 北京大学 134讲 flv格式》来源于网盘资源爬虫采集。盘搜搜不复制、传播、储存任何网盘资源,也不提供资源下载服务,链接会跳转至百度网盘,资源的安全性与有效性请您自行辨别。