教育资源公共服务平台
站内导航
英语单词
英文缩写
英文名
科技词典
专业词典
中文字典
成语
汉语词典
国家查询
大学查询
软件下载
邮编查询
教育资源导航
公共查询
科学技术名词
计算机科学理论
计算机科学技术
计算机科学理论
前缀 prefix 前缀的意思 prefix的意思 前缀的英文 prefix的翻译 前缀的翻译 前缀是什么意思 前缀什么意思
前缀
规范用词
前缀
英文对照
prefix
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
科学技术名词为您提供前缀,prefix,前缀的意思,prefix的意思,前缀的英文,prefix的翻译,前缀的翻译,前缀是什么意思,前缀什么意思,prefix是什么意思,prefix什么意思
前缀 相关科技名词
计算机科学理论»
证伪
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