教育资源公共服务平台
站内导航
英语单词
英文缩写
英文名
科技词典
专业词典
中文字典
成语
汉语词典
国家查询
大学查询
软件下载
邮编查询
教育资源导航
公共查询
科学技术名词
模型论
数学
数理逻辑数学基础
模型论
逻辑演算 logical calculus 逻辑演算的意思 logical calculus的意思 逻辑演算的英文 logical calculus的翻译
逻辑演算
规范用词
逻辑演算
英文对照
logical calculus
所属学科
数学
>
数理逻辑数学基础
>
模型论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
科学技术名词为您提供逻辑演算,logical calculus,逻辑演算的意思,logical calculus的意思,逻辑演算的英文,logical calculus的翻译,逻辑演算的翻译,逻辑演算是什么意思,逻辑演算什么意思,logical calculus是什么意思,logical calculus什么意思
逻辑演算 相关科技名词
模型论»
可满足性
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