教育资源公共服务平台
站内导航
英语单词
英文缩写
英文名
科技词典
专业词典
中文字典
成语
汉语词典
国家查询
大学查询
软件下载
邮编查询
教育资源导航
公共查询
科学技术名词
模型论
数学
数理逻辑数学基础
模型论
型 type 型的意思 type的意思 型的英文 type的翻译 型的翻译 型是什么意思 型什么意思 type是什么意思
型
规范用词
型
英文对照
type
所属学科
数学
>
数理逻辑数学基础
>
模型论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
科学技术名词为您提供型,type,型的意思,type的意思,型的英文,type的翻译,型的翻译,型是什么意思,型什么意思,type是什么意思,type什么意思
型 相关科技名词
模型论»
符号体系
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