计算机类本科规划教材《离散数学》课件_第2章 谓词逻辑

2.1个体、谓词与量词 2.2谓词公式 2.3谓词演算的等价式与蕴含式 2.4前束范式 2.5谓词逻辑的推理理论
文件格式: PPT大小: 336.5KB页数: 42
点击进入文档下载页(PPT格式)
点击进入文档下载页(PPT格式)