【well-formed_formula】什么意思_英语well-formed_formula的翻译_音标_读音_用法_例句_在线翻译

well-formed formula

[计] 合式公式

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

基于2372个网页-相关网页

该逻辑的公式

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

基于12个网页-相关网页

形公式

良形公式（well-formed formula）的形式为 { P } C { Q }

基于12个网页-相关网页

合适公式

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

基于6个网页-相关网页

短语

goal well-formed formula [计] 目标合适公式

更多收起网络短语

计算机科学技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: In mathematical logic, a well-formed formula, shortly wff, often simply formula, is a word (i.e.

以上来源于: WordNet

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.

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

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句