911chaxun查询科学技术名词计算机科学理论
计算机科学技术计算机科学理论
有穷自动机最小化 minimization of finite automaton 有穷自动机最小化的意思 minimization of finite automaton的意思
有穷自动机最小化
规范用词有穷自动机最小化
英文对照minimization of finite automaton
名词审定计算机科学技术名词审定委员会
见载刊物《计算机科学技术名词（第二版）》 科学出版社
公布时间2002年
科学技术名词为您提供有穷自动机最小化,minimization of finite automaton,有穷自动机最小化的意思,minimization of finite automaton的意思,有穷自动机最小化的英文,minimization of finite automaton的翻译,有穷自动机最小化的翻译,有穷自动机最小化是什么意思,有穷自动机最小化什么意思,minimization of finite automaton是什么意思,minimization of finite automaton什么意思
有穷自动机最小化 相关科技名词
- 能行性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
别人正在查