定义域
规范用词
定义域
英文翻译
domain
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
计算机科学理论 的上级学科
计算机科学技术
定义域 相关科技名词
证伪
refutation
范畴分析
categorical analysis
自然推理
natural inference
二难推理
dilemma reasoning
条件逻辑
conditional logic
阈值逻辑
threshold logic
概率逻辑
probabilistic logic
埃尔布朗基
Herbrand base
归纳公理
induction axiom
二元预解式
binary resolvent
锁归结
lock resolution
归结原理
resolution principle
协调公式
consistent formula
演绎树
deduction tree
线性演绎
linear deduction
锁演绎
lock deduction
本原演绎
primitive deduction
超演绎
hyperdeduction
超预解式
hyperresolvent
无循环设置
cycle-free allocation
逻辑程序
logic program
条件项重写系统
conditional term rewriting system
分解
decomposition
谓词
predicate
谓词演算
predicate calculus
谓词逻辑
predicate logic
谓词变量
predicate variable
谓词符号
predicate symbol
符号逻辑
symbolic logic
重言式
tautology
自动机
automaton
广义序列机
generalized sequential machine
下推自动机
push-down automaton;PDA
上下文无关文法
context-free grammar;CFG
上下文无关语言
context-free language;CFL
上下文有关文法
context-sensitive grammar;CSG
上下文有关语言
context-sensitive language;CSL
无用符[号]
useless symbol
无穷集
infinite set
非限制文法
unrestricted grammar
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单