您的当前位置：领域 > 数理逻辑 领域
元逻辑 （石材）
元逻辑是以形式化的逻辑系统为研究对象的一门学科。主要研究形式语言、形式系统和逻辑
递归集 （数理逻辑 名词）
递归集是递归论用语。令A?Nn，如果A的特征函数CA(x1，…，xn)是μ-递归
序数积 （数理逻辑 名词）
序数积（ordinal product）是1993年公布的数学名词。
原子模型 （数理逻辑 名词）
原子模型是由原子核(质子和中子)和电子构成，电子绕核做不规则运动，形成电子云。这
约束变量 （函数 | 石材）
量化一个合式公式中的某个变量所得到的表达式也是合式公式。
递归分析 （石材）
力迫关系 （数理逻辑 名词）
力迫关系在力迫法中力迫关系通常记为? （读作力迫），是定义在基础模型 M 中一个
奇异序数 （数理逻辑 名词）
奇异序数（singular ordinal）是1993年公布的数学名词。
逻辑等值 （数理逻辑 名词）
逻辑等值（logically equivalent）是1993年公布的数学名词。
朴素集合论 （其他数学相关）
在纯数学中，朴素集合论是由德国数学家康托尔最早创立的第一个集合论，它后来被更加精
命题形式 （数理逻辑术语）
命题形式(propositional forms)数理逻辑术语.是由命题变元p，
命题公式 （数理逻辑术语）
命题公式(propositional formula)亦称合式公式，是数理逻辑术
非标准量词 （数理逻辑 名词）
非标准量词（non-standard quantifier）是1993年公布的数
真假值表归约性 （数理逻辑 名词）
真假值表归约性（truth table reducibility）是1993年公
论题 （词汇）
论题读作lùn tí，解释为一门知识，是论述者所主张并加以辩证的命题,论述题目中
函数符号 （其他科学相关）
约翰.伯努利於1694年首次提出函数(function)概念，并以字母 n 表示
直觉主义逻辑学派 （数理逻辑和数学基础研究中的一种学派）
直觉主义逻辑学派是数理逻辑和数学基础研究中的一种学派，主要代表是荷兰的布劳维尔。
递归论 （数理逻辑的重要分支之一）
递归论（Recursion theory）是数理逻辑的重要分支之一，研究解决问题
形式主义学派 （数理逻辑和数学基础研究中的学派）
形式主义学派，数理逻辑和数学基础研究中的一个学派。认为数学的真理性体现在它的不矛
原子公式 （数理逻辑）
原子公式，在数理逻辑中，原子公式（Atomic formula）或原子是没有子公
真假值 （数理逻辑 名词）
真假值( truth value) 指的是数理逻辑用语。在二值逻辑中，指命题变元
无穷小 （汉语词汇）
拼音：wúqiónɡxiǎo名一个变量在变化过程中，绝对值永远小于任意小的已定正
模型论 （数理逻辑 名词）
模型论(Model theory)是数学的一个学科，模型论的一些重要定理，如紧致
归约 （数理逻辑 名词）
归约是使用解题的"黑盒"来解决另一个问题的思维方式。英文决其它问Reductio
良序集 （数理逻辑 名词）
设集合(S,≤)为一全序集，≤是其全序关系，若对任意的S的非空子集，在其序下都有
图灵归约 （数理逻辑 名词）
图灵归约是可计算性理论中的一种归约。
摹状算子 （数理逻辑 名词）
摹状算子（description operator）是1993年公布的数学名词。
互斥析取 （数理逻辑 名词）
互斥析取（exclusive disjunction）是1993年公布的数学名词
联结词 （数理逻辑 名词）
联结词亦称命题联结词，命题逻辑的基本概念之一，指由已有的命题构造出新命题所用的词
连续统假设 （数理逻辑 名词）
1874年格奥尔格·康托尔猜测在可列集基数和实数基数之间没有别的基数，这就是著名
不可达基数 （数理逻辑 名词）
不可达基数(inaccessible cardinals)强弱不可达基数的统称.
隶属关系 （数理逻辑 名词）
?隶属关系是指在类目表中下位类一定要带有上位类的属性，上位类一定能包含它所属的各
矢列式 （数理逻辑 名词）
矢列式（sequent）是1993年公布的数学名词。
np问题 （数理逻辑 名词）
NP问题是指存在多项式算法能够验证的非决定性问题，而其中NP完全问题又是最有可能
描述集合论 （其他数学相关）
描述集合论(Descriptivesettheory)是数学中数理逻辑、集合论的
力迫法 （数理逻辑 名词）
力迫法是公理集合论研究中构造扩充模型的一种重要方法，它是科恩在1963年证明连续
投影确定性 （数理逻辑 名词）
投影确定性（projective determinacy）是1993年公布的数学
广义连续统假设 （数理逻辑 名词）
广义连续统假设(generalized continuum hy- pothes
佐恩引理 （其他科学相关）
佐恩引理(Zorn's Lemma)也被称为库那图斯克-佐恩引理(Kuratow
策梅洛-弗兰克尔集合论 （数理逻辑 名词）
策梅洛-弗兰克尔集合论(Zermelo-Fraenkel Set Theory)