well-formed formula的意思|示意

美 / / 英 / /

[计] 合式公式


well-formed formula的网络常见释义

合式公式 下文中说的公式(formula)即为合式公式(well-formed formula),事实(facts)是封 闭的公式,可能假设(possible hypotheses)是带有自由变元的公式,公式的实例(instance) 是指对原公式中...

该逻辑的公式 ...义 一个逻辑的表达能力可以从以下的3 个角度来分析:(1)给定一个逻辑,什 么样的符号串是该逻辑的公式(well-formed formula);(2)一个逻辑公式的语 安徽建筑工业学院 毕业设计(论文) 2 义解释;(3)利用翻译把一个逻辑翻译到另一个逻辑之上,然后比较...

形公式 良形公式(well-formed formula)的形式为 { P } C { Q }

合适公式 合适公式( wff,well-formed formulas)的递归定义:..

well-formed formula相关短语

1、 goal well-formed formula 目标合适公式 ; 翻译 ; 目标合适公式英语

2、 WFF well-formed formula 合适公式

3、 well formed formula 合式的公式

well-formed formula相关例句

The logic of disjoint-well-formed-formula is adopted in the generation of query conditions, and standard visual objects are used in the generation of GUI.

查询条件的生成采用的是合取范式的标准形式,用户界面的生成采用了标准的可视对象。