... 语义 semantics 可靠性定理 soundness theorem 完备性定理 completeness theorem ...
基于30个网页-相关网页
此语言的核心在于 OE 和 AO 两个不确定函数,文献[3]还提出并证明了两个定理:合理性定理(soundness theorem)和完全性定理(completeness theorem),以说明 RCL2000 和严格形式的一阶谓词逻辑(RFOPL)的等价性.
基于20个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress