道
规范用词
道
英文翻译
track
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
计算机科学理论 的上级学科
计算机科学技术
道 相关科技名词
能行性
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
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单