析取范式 disjunctive normal form 析取范式的意思 disjunctive normal form的意思析取范式的英文

析取范式

规范用词析取范式

英文对照disjunctive normal form

名词审定数学名词审定委员会

见载刊物《数学名词》科学出版社

公布时间1993年

科学技术名词为您提供析取范式,disjunctive normal form,析取范式的意思,disjunctive normal form的意思,析取范式的英文,disjunctive normal form的翻译,析取范式的翻译,析取范式是什么意思,析取范式什么意思,disjunctive normal form是什么意思,disjunctive normal form什么意思

析取范式相关科技名词

模型论»

符号体系symbolism
数理逻辑mathematical logic
模型论model theory
逻辑演算logical calculus
逻辑符号logical symbol
形式语言formal language
符号语言symbolic language
形成规则formation rule
出现occurrence
合式[的]well-formed
合式公式well-formed formula
辖域scope
逻辑运算logical operation
矢列式sequent
语法syntax
语义semantics
解释interpretation
论题thesis
归纳证明proof by induction
摹状[词]description
摹状算子description operator
命题演算propositional calculus
命题代数algebra of propositions
命题变元propositional variable;sentential variable
命题函数propositional function
联结词connective
逻辑乘法logical multiplication
合取[词]conjunction
合取项conjunct
逻辑加法logical addition
析取[词]disjunction
析取项disjunct
互斥析取exclusive disjunction
否定[词]negation
逻辑等值logically equivalent
范式normal form
合取范式conjunctive normal form
析取范式disjunctive normal form
排中律law of excluded middle
赋值valuation

析取范式 disjunctive normal form 析取范式的意思 disjunctive normal form的意思 析取范式的英文

析取范式

析取范式 disjunctive normal form 析取范式的意思 disjunctive normal form的意思析取范式的英文