命题逻辑 propositional logic 命题逻辑的意思 propositional logic的意思命题逻辑的英文 propositional logic的翻译

命题逻辑

规范用词命题逻辑

英文对照propositional logic

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

公布时间2002年

科学技术名词为您提供命题逻辑,propositional logic,命题逻辑的意思,propositional logic的意思,命题逻辑的英文,propositional logic的翻译,命题逻辑的翻译,命题逻辑是什么意思,命题逻辑什么意思,propositional logic是什么意思,propositional logic什么意思

命题逻辑相关科技名词

计算机科学理论»

有效项valid item
成员问题membership problem
次动作函数next move function
自反传递闭包reflexive and transitive closure
完全问题complete problem
形式语言formal language
初始状态initial state
词法分析器lexical analyzer
状态state
抽象语言族abstract family of languages
空白符blank
空栈empty stack
空集empty set
枚举enumeration
终极符terminal
终结状态final state
固有多义性inherently ambiguity
非自反性irreflexivity
非抹除栈自动机non-erasing stack automaton
非终极符non-terminal
非确定型有穷自动机non-deterministic finite automaton
非确定型图灵机non-deterministic Turing machine
线性文法linear grammar
线性有界自动机linear bounded automaton
线性规划linear programming
线性语言linear language
细分refinement
单一生成式unit production
单向栈自动机one-way stack automaton
查讫符号checking off symbol
穿越序列crossing sequence
带tape
带头tape head
带字母表tape alphabet
带压缩tape compression
带减少tape reduction
带符号tape symbol
逆代换inverse substitution
逆同态inverse homomorphism
标准形式下推自动机normal form PDA

命题逻辑 propositional logic 命题逻辑的意思 propositional logic的意思 命题逻辑的英文 propositional logic的翻译

命题逻辑

命题逻辑 propositional logic 命题逻辑的意思 propositional logic的意思命题逻辑的英文 propositional logic的翻译