相关文档

北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.3)一阶谓词演算自然推演系统Ng

一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:
团购合买资源类别:文库,文档格式:PDF,文档页数:81,文件大小:1.95MB
点击进入文档下载页(PDF格式)