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