论文研究-计算机推理的语义与语法 .pdf

【文件属性】：

文件名称：论文研究-计算机推理的语义与语法 .pdf

文件大小：292KB

文件格式：PDF

更新时间：2022-09-10 00:20:08

语义推理

计算机推理的语义与语法，闫硕，吴尽昭，数理逻辑中的经典和非经典逻辑都以研究推理为主要目的，其研究方法是通过两种渠道展开的，即语义推理和语法推理。本文分别对语义