教育资源公共服务平台
站内导航
公共查询科学技术名词数理逻辑数学基础
数学

数理逻辑数学基础科技名词 数理逻辑数学基础科学技术名词 数理逻辑数学基础科技名词大全 数理逻辑数学基础科技名词术语

数理逻辑数学基础科技名词

数理逻辑数学基础科技名词：模型论证明论集合论递归论数学基础非经典逻辑

数理逻辑数学基础 第2页
科技名词学科详情
析取[词]disjunction数学 > 数理逻辑数学基础详情
析取项disjunct数学 > 数理逻辑数学基础详情
互斥析取exclusive disjunction数学 > 数理逻辑数学基础详情
否定[词]negation数学 > 数理逻辑数学基础详情
逻辑等值logically equivalent数学 > 数理逻辑数学基础详情
范式normal form数学 > 数理逻辑数学基础详情
合取范式conjunctive normal form数学 > 数理逻辑数学基础详情
析取范式disjunctive normal form数学 > 数理逻辑数学基础详情
排中律law of excluded middle数学 > 数理逻辑数学基础详情
赋值valuation数学 > 数理逻辑数学基础详情
真假值truth value数学 > 数理逻辑数学基础详情
真值truth数学 > 数理逻辑数学基础详情
假值falsity数学 > 数理逻辑数学基础详情
真假值函数truth function数学 > 数理逻辑数学基础详情
真假值表truth table数学 > 数理逻辑数学基础详情
重言式tautology数学 > 数理逻辑数学基础详情
一阶逻辑first-order logic数学 > 数理逻辑数学基础详情
谓词predicate数学 > 数理逻辑数学基础详情
谓词演算predicate calculus;functional calculus数学 > 数理逻辑数学基础详情
谓词变元predicate variable数学 > 数理逻辑数学基础详情
函数符号function symbol数学 > 数理逻辑数学基础详情
常项constant数学 > 数理逻辑数学基础详情
自由变元free variable数学 > 数理逻辑数学基础详情
个体变元individual variable数学 > 数理逻辑数学基础详情
量词quantifier数学 > 数理逻辑数学基础详情
存在量词existential quantifier数学 > 数理逻辑数学基础详情
全称量词universal quantifier数学 > 数理逻辑数学基础详情
非标准量词non-standard quantifier数学 > 数理逻辑数学基础详情
约束变量bound variable数学 > 数理逻辑数学基础详情
约束出现bound occurrence数学 > 数理逻辑数学基础详情
首页 末页 | 1 2 3 4 5 6 7 8 9 10 | 上一页 下一页
科学技术名词为您提供数理逻辑数学基础科技名词,数理逻辑数学基础科学技术名词,数理逻辑数学基础科技名词大全,数理逻辑数学基础科技名词术语,数理逻辑数学基础科技名词有哪些,数理逻辑数学基础科技名词的翻译
科学技术名词出版物
查看全部