English translation for "主范式"

principal normal form

Related Translations:

范式:  canonical form; normal form

程序设计范式:  programming paradigms

核范式:  kernel normal form

范式转移:  paradigm shift

greibach范式:  greibach normal form

特异范式:  distinguished normal form

黑箱范式:  black box paradigmblackbox paradigmbox paradigm

依从范式:  compliance paradigm

skolem范式:  skolem normal form

前范式:  pre-paradigm

Example Sentences:

1.

Based on paper [ 1 ] and [ 2 ] , this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally 摘要在文[ 1 ]和文[ 2 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

Similar Words：

"主反应堆" English translation, "主反自同构" English translation, "主返回码" English translation, "主返料仓" English translation, "主范畴" English translation, "主范数" English translation, "主犯" English translation, "主犯, 祸首" English translation, "主犯, 首犯" English translation, "主犯和从犯" English translation