相关文档

北京大学:《离散数学》系列课程之一《集合论与图论》第2讲 一阶逻辑基础

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则
团购合买资源类别:文库,文档格式:PDF,文档页数:44,文件大小:803.77KB
点击进入文档下载页(PDF格式)
点击下载(PDF格式)