离散数学|01离散数学 北京大学 134讲

离散数学

01离散数学 北京大学 134讲

免费--离散数学学习指导与习题解析_屈婉玲_耿素云_张立昂.pdf 13.7MB

《离散数学教程》-+屈婉玲_耿素云_王捍贫.pdf 30.6MB

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