前束范式 prenex normal form 前束范式的意思 prenex normal form的意思前束范式的英文 prenex normal form的翻译

前束范式

规范用词前束范式

英文对照prenex normal form

名词审定数学名词审定委员会

见载刊物《数学名词》科学出版社

公布时间1993年

科学技术名词为您提供前束范式,prenex normal form,前束范式的意思,prenex normal form的意思,前束范式的英文,prenex normal form的翻译,前束范式的翻译,前束范式是什么意思,前束范式什么意思,prenex normal form是什么意思,prenex normal form什么意思

前束范式相关科技名词

模型论»

可满足性satisfiability
可定义性definability
可表示性representability
膨胀expansion
斯科伦函数Skolem function
斯科伦壳Skolem hull
斯科伦佯谬Skolem paradox
降L-S定理downward Loewenheim-Skolem theorem
内插定理interpolation theorem
量词消去elimination of quantifier
初等等价[的]elementarily equivalent
子结构substructure
子模型submodel
初等子结构elementary substructure
初等子模型elementary submodel
模型链chain of model
型type
型省略定理omitting types theorem
进退构造back and forth construction
不可辨元indiscernible
原子[语]句atomic sentence;primitive sentence
原子公式atomic formula
原子理论atomic theory
原子模型atomic model
素模型prime model
饱和模型saturated model
万有模型universal model
极小模型minimal model
齐次模型homogeneous model
范畴性categoricity
稳定性stability
分叉forking
莫利定理Morley theorem
可靠性soundness
递归结构recursive structure
容许结构admissible structure
形式化算术formalized arithmetic
抽象模型论abstract model theory
非标准分析non-standard analysis
无穷小infinitesimal

前束范式 prenex normal form 前束范式的意思 prenex normal form的意思 前束范式的英文 prenex normal form的翻译

前束范式

前束范式 prenex normal form 前束范式的意思 prenex normal form的意思前束范式的英文 prenex normal form的翻译