进退构造 back and forth construction 进退构造的意思 back and forth construction的意思进退构造的英文

进退构造

规范用词进退构造

英文对照back and forth construction

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

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

公布时间1993年

科学技术名词为您提供进退构造,back and forth construction,进退构造的意思,back and forth construction的意思,进退构造的英文,back and forth construction的翻译,进退构造的翻译,进退构造是什么意思,进退构造什么意思,back and forth construction是什么意思,back and forth construction什么意思

进退构造相关科技名词

模型论»

符号体系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

进退构造 back and forth construction 进退构造的意思 back and forth construction的意思 进退构造的英文

进退构造

进退构造 back and forth construction 进退构造的意思 back and forth construction的意思进退构造的英文