科学技术名词为您提供赋值,valuation,赋值的意思,valuation的意思,赋值的英文,valuation的翻译,赋值的翻译,赋值是什么意思,赋值什么意思,valuation是什么意思,valuation什么意思
赋值 相关科技名词
- 符号体系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
别人正在查