您的当前位置：领域 > 数理逻辑 领域
元逻辑 （石材）
元逻辑是以形式化的逻辑系统为研究对象的一门学科。主要研究形式语言、形式系统和逻辑
递归性 （语言 | 石材）
递归性(recursiveness),也可相近地理解为层次性或有机性。是机体或系
递归论 （数理逻辑的重要分支之一）
递归论（Recursion theory）是数理逻辑的重要分支之一，研究解决问题
归约 （数理逻辑 名词）
归约是使用解题的"黑盒"来解决另一个问题的思维方式。英文决其它问Reductio
谕示 （数理逻辑 名词）
谕示，是一个汉语词汇，拼音yù shì，释义为上级对下级或长辈对晚辈的指示。解释
良序 （数理逻辑 名词）
良序是数学用语的称呼。定义设集合 (S ,≤) 为一全序集，≤是其偏序关系。对任
良序集 （数理逻辑 名词）
设集合(S,≤)为一全序集，≤是其全序关系，若对任意的S的非空子集，在其序下都有
力迫法 （数理逻辑 名词）
力迫法是公理集合论研究中构造扩充模型的一种重要方法，它是科恩在1963年证明连续
联结词 （数理逻辑 名词）
联结词亦称命题联结词，命题逻辑的基本概念之一，指由已有的命题构造出新命题所用的词
前束词 （数理逻辑 名词）
前束词（prefix）是1993年公布的数学名词。
递归集 （数理逻辑 名词）
递归集是递归论用语。令A?Nn，如果A的特征函数CA(x1，…，xn)是μ-递归
序数积 （数理逻辑 名词）
序数积（ordinal product）是1993年公布的数学名词。
共尾性 （数理逻辑 名词）
共尾性（cofinality）是1993年公布的数学名词。
序数幂 （数理逻辑 名词）
序数幂（ordinal power）是1993年公布的数学名词。
脱殊集 （数理逻辑 名词）
脱殊集（generic set）是1993年公布的数学名词。
矢列式 （数理逻辑 名词）
矢列式（sequent）是1993年公布的数学名词。
通用函数 （数理逻辑 名词）
通用函数(universal function)递归证明中常用的一种函数.设△。
np问题 （数理逻辑 名词）
NP问题是指存在多项式算法能够验证的非决定性问题，而其中NP完全问题又是最有可能
力迫条件 （数理逻辑 名词）
力迫条件(forcing condition)是公理集合论术语，指用于力迫构造的
选择公理 （数理逻辑 名词）
"选择公理"有很多等价的形式(equivalent form)，以下用一个较简单
隶属关系 （数理逻辑 名词）
?隶属关系是指在类目表中下位类一定要带有上位类的属性，上位类一定能包含它所属的各
原子模型 （数理逻辑 名词）
原子模型是由原子核(质子和中子)和电子构成，电子绕核做不规则运动，形成电子云。这
约束变量 （函数 | 石材）
量化一个合式公式中的某个变量所得到的表达式也是合式公式。
递归分析 （石材）
原子公式 （数理逻辑）
原子公式，在数理逻辑中，原子公式（Atomic formula）或原子是没有子公
同一关系 （数理逻辑术语）
同一关系又称全同关系、重合关系，相容关系之一。两个概念的外延全部重合的关系。如：
独立性 （其他科学相关）
意志的独立性是指人的意志不易受他人的影响，有较强的独立提出和实施行为目的的能力，
图灵归约 （数理逻辑 名词）
图灵归约是可计算性理论中的一种归约。
次递归性 （数理逻辑 名词）
次递归性（subrecursiveness）是1993年公布的数学名词。
良序原则 （数理逻辑 名词）
良序原则是1993年全国科学技术名词审定委员会公布的数学名词。
力迫关系 （数理逻辑 名词）
力迫关系在力迫法中力迫关系通常记为? （读作力迫），是定义在基础模型 M 中一个
奇异序数 （数理逻辑 名词）
奇异序数（singular ordinal）是1993年公布的数学名词。
构造序数 （数理逻辑 名词）
构造序数（constructive ordinals）是1993年公布的数学名词
苏斯林树 （数理逻辑 名词）
苏斯林树是一种无穷树，指高度为ω1，每条链及反链均可数的树。研究苏斯林树的直接动
递归结构 （数理逻辑 名词）
递归结构（recursive structure）是1993年公布的数学名词。
斯科伦壳 （数理逻辑 名词）
斯科伦壳（Skolem hull）是1993年公布的数学名词。
真假值表 （数理逻辑 名词）
真假值表（truth table）是1993年公布的数学名词。
摹状算子 （数理逻辑 名词）
摹状算子（description operator）是1993年公布的数学名词。
逻辑等值 （数理逻辑 名词）
逻辑等值（logically equivalent）是1993年公布的数学名词。
朴素集合论 （其他数学相关）
在纯数学中，朴素集合论是由德国数学家康托尔最早创立的第一个集合论，它后来被更加精