教育资源公共服务平台
站内导航
英语单词
英文缩写
英文名
科技词典
专业词典
中文字典
成语
汉语词典
国家查询
大学查询
软件下载
邮编查询
教育资源导航
公共查询
科学技术名词
计算机科学理论
计算机科学技术
计算机科学理论
论域 domain 论域的意思 domain的意思 论域的英文 domain的翻译 论域的翻译 论域是什么意思 论域什么意思
论域
规范用词
论域
英文对照
domain
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
科学技术名词为您提供论域,domain,论域的意思,domain的意思,论域的英文,domain的翻译,论域的翻译,论域是什么意思,论域什么意思,domain是什么意思,domain什么意思
论域 相关科技名词
计算机科学理论»
能行性
effectiveness
丘奇论题
Church thesis
计算
computation
图灵机
Turing machine
递归函数
recursive function
原始递归函数
primitive recursive function
特征函数
characteristic function
哥德尔配数
λ演算
λ-calculus
波斯特系统
Post system
一阶逻辑
first order logic
一阶理论
first order theory
命题逻辑
propositional logic
命题演算
propositional calculus
形式系统
formal system
演绎规则
deduction rule
布尔运算
Boolean operation
布尔代数
Boolean algebra
布尔表达式
Boolean expression
三段论
syllogism
真值表
truth table
合式公式
well-formed formula
逻辑蕴涵
logical implication
析取范式
disjunctive normal form
合取范式
conjunctive normal form
演绎
deduce
假言推理
modus ponens
归约
reduce;reduction
演绎数学
deductive mathematics
数学公式
mathematical axiom
形式规则
formation rule
原子公式
atomic formula
论域
domain
前束范式
prenex normal form
代入
substitution
代入复合
composition of substitution
关系系统
relation system
勒文海姆-斯科伦定理
高阶逻辑
higher order logic
二阶逻辑
second order logic