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

prenex normal form

[数] 前束范式

在例10中的元组关系演算公式可以变换为 前束范式 ( Prenex normal form )的形式:用户在使用查询语言时,经常要作一些简单的计算,例如要求符合某一查询要求的元组数,求某个关系中所有元组在某属性上的值的...

基于2560个网页-相关网页

前束标准型

... 永真命题 tautology 前束标准型 prenex normal form 理论 theory ...

基于14个网页-相关网页

短语

prenex-conjunctive normal form 前束合取范式 ; 合取正规形式

更多收起网络短语

数学

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

abstract: A formula of the predicate calculus is in prenexThe term 'prenex' comes from the Latin praenexus "tied or bound up in front", past participle of praenectere normal form] if it is written as a string of [[quantifiers (referred to as the prefix) followed by a quantifier-free part (referred to as the matrix).

以上来源于: WordNet

应用推荐

$firstVoiceSent

- 来自原声例句