go top

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 [计] 目标合适公式 ; 翻译 ; 目标合适公式英语

WFF well-formed formula 合适公式

well formed formula 合式的公式

cultural well-formed formula 文化合式公式

well-formed propositional formula 命题公式

 更多收起网络短语
  • 合式公式 - 引用次数:1

    参考来源 - 逻辑程序设计语言G(?)del的说明性语义
    合适公式
    符合语法规则的公式

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

Well-formed formula

  • 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.

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

    dict.cnki.net

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定