西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-4 谓词演算的永真公式
文件格式: PDF大小: 369.76KB页数: 20
西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-3 谓词公式的翻译
文件格式: PDF大小: 332.43KB页数: 13
西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-2 谓词公式
文件格式: PDF大小: 388.14KB页数: 16
西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-1 谓词和量词
文件格式: PDF大小: 357.87KB页数: 15
西安电子科技大学：《离散数学》课程教学课件（题解）第一章 命题逻辑 1-6 范式
文件格式: PDF大小: 331.03KB页数: 13
西安电子科技大学：《离散数学》课程教学课件（题解）第一章 命题逻辑 1-5 对偶式
文件格式: PDF大小: 342.45KB页数: 19
西安电子科技大学：《离散数学》课程教学课件（题解）第一章 命题逻辑 1-4 联结词的完备集
文件格式: PDF大小: 327.21KB页数: 19
西安电子科技大学：《离散数学》课程教学课件（题解）第一章 命题逻辑 1-3 逻辑等价式和永真蕴含式
文件格式: PDF大小: 357.09KB页数: 16
西安电子科技大学：《离散数学》课程教学课件（题解）第一章 命题逻辑 1-2 命题公式
文件格式: PDF大小: 376.09KB页数: 18
西安电子科技大学：《离散数学》课程教学课件（题解）第一章 命题逻辑 1-1 命题和联结词（主讲：黄健斌）
文件格式: PDF大小: 455.74KB页数: 20