file:0134-KL的可靠性与和谐性.flv file:0133-KL的解释与赋值 (VI).flv file:0127-NL与KL的等价性.flv file:0126-一阶谓词演算的形式系统KL (II).flv file:免费--离散数学学习指导与习题解析_屈婉玲_耿素云_张立昂.pdf file:《离散数学教程》-+屈婉玲_耿素云_王捍贫.pdf file:0007-有序对与卡氏积.flv file:0006-基本的集合恒等式.flv file:0004-集合的概念和集合之间的关系.flv file:0003-预备知识（一阶谓词逻辑）.flv file:0001-集合论与图论课程引言.flv file:政治目录.txt