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.
查询条件的生成采用的是合取范式的标准形式,用户界面的生成采用了标准的可视对象。