当前目录全盘搜索查询全部查询文件夹查询文件

信息加载中,请等待...

当前目录：主页 /资源搜集KL /离散数学北京大学王捍贫 134讲 /026.模块二十六一阶谓词逻辑（教材第二十七章）

116【非常256学习课堂www.very256.com】.一阶谓词演算的符号化.mp4
117【非常256学习课堂www.very256.com】.一阶语言(I).mp4
118【非常256学习课堂www.very256.com】.一阶语言(II).mp4
119【非常256学习课堂www.very256.com】.一阶谓词演算的自然推演形式系统NL(I).mp4
120【非常256学习课堂www.very256.com】.一阶谓词演算的自然推演形式系统NL(II).mp4
121【非常256学习课堂www.very256.com】.一阶谓词演算的自然推演形式系统NL(III).mp4
122【非常256学习课堂www.very256.com】.一阶谓词演算的自然推演形式系统NL(IV).mp4
123【非常256学习课堂www.very256.com】.一阶谓词演算的自然推演形式系统NL(V).mp4
124【非常256学习课堂www.very256.com】.一阶谓词演算的自然推演形式系统NL(VI).mp4
125【非常256学习课堂www.very256.com】.一阶谓词演算的形式系统KL(I).mp4
126【非常256学习课堂www.very256.com】.一阶谓词演算的形式系统KL(II).mp4
127【非常256学习课堂www.very256.com】.NL与KL的等价性.mp4
128【非常256学习课堂www.very256.com】.KL的解释与赋值(I).mp4
129【非常256学习课堂www.very256.com】.KL的解释与赋值(II).mp4
130【非常256学习课堂www.very256.com】.KL的解释与赋值(III).mp4
131【非常256学习课堂www.very256.com】.KL的解释与赋值(IV).mp4
132【非常256学习课堂www.very256.com】.KL的解释与赋值(V).mp4
133【非常256学习课堂www.very256.com】.KL的解释与赋值(VI).mp4
134【非常256学习课堂www.very256.com】.KL的可靠性与和谐性.mp4