格雷巴赫范式 Greibach normal form 格雷巴赫范式的意思 Greibach normal form的意思格雷巴赫范式的英文

格雷巴赫范式

规范用词格雷巴赫范式

英文对照Greibach normal form

名词审定计算机科学技术名词审定委员会

公布时间2002年

科学技术名词为您提供格雷巴赫范式,Greibach normal form,格雷巴赫范式的意思,Greibach normal form的意思,格雷巴赫范式的英文,Greibach normal form的翻译,格雷巴赫范式的翻译,格雷巴赫范式是什么意思,格雷巴赫范式什么意思,Greibach normal form是什么意思,Greibach normal form什么意思

格雷巴赫范式相关科技名词

计算机科学理论»

能行性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

格雷巴赫范式 Greibach normal form 格雷巴赫范式的意思 Greibach normal form的意思 格雷巴赫范式的英文

格雷巴赫范式

格雷巴赫范式 Greibach normal form 格雷巴赫范式的意思 Greibach normal form的意思格雷巴赫范式的英文