您的当前位置：领域 > 数理逻辑 领域
论题 （词汇）
论题读作lùn tí，解释为一门知识，是论述者所主张并加以辩证的命题,论述题目中
无穷小 （汉语词汇）
拼音：wúqiónɡxiǎo名一个变量在变化过程中，绝对值永远小于任意小的已定正
元逻辑 （石材）
元逻辑是以形式化的逻辑系统为研究对象的一门学科。主要研究形式语言、形式系统和逻辑
递归性 （语言 | 石材）
递归性(recursiveness),也可相近地理解为层次性或有机性。是机体或系
递归论 （数理逻辑的重要分支之一）
递归论（Recursion theory）是数理逻辑的重要分支之一，研究解决问题
归约 （数理逻辑 名词）
归约是使用解题的"黑盒"来解决另一个问题的思维方式。英文决其它问Reductio
谕示 （数理逻辑 名词）
谕示，是一个汉语词汇，拼音yù shì，释义为上级对下级或长辈对晚辈的指示。解释
良序 （数理逻辑 名词）
良序是数学用语的称呼。定义设集合 (S ,≤) 为一全序集，≤是其偏序关系。对任
真假值 （数理逻辑 名词）
真假值( truth value) 指的是数理逻辑用语。在二值逻辑中，指命题变元
良序集 （数理逻辑 名词）
设集合(S,≤)为一全序集，≤是其全序关系，若对任意的S的非空子集，在其序下都有
力迫法 （数理逻辑 名词）
力迫法是公理集合论研究中构造扩充模型的一种重要方法，它是科恩在1963年证明连续
模型论 （数理逻辑 名词）
模型论(Model theory)是数学的一个学科，模型论的一些重要定理，如紧致
联结词 （数理逻辑 名词）
联结词亦称命题联结词，命题逻辑的基本概念之一，指由已有的命题构造出新命题所用的词
前束词 （数理逻辑 名词）
前束词（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)，以下用一个较简单
隶属关系 （数理逻辑 名词）
?隶属关系是指在类目表中下位类一定要带有上位类的属性，上位类一定能包含它所属的各
原子模型 （数理逻辑 名词）
原子模型是由原子核(质子和中子)和电子构成，电子绕核做不规则运动，形成电子云。这
约束变量 （函数 | 石材）
量化一个合式公式中的某个变量所得到的表达式也是合式公式。
递归分析 （石材）
命题公式 （数理逻辑术语）
命题公式(propositional formula)亦称合式公式，是数理逻辑术
原子公式 （数理逻辑）
原子公式，在数理逻辑中，原子公式（Atomic formula）或原子是没有子公
命题形式 （数理逻辑术语）
命题形式(propositional forms)数理逻辑术语.是由命题变元p，
同一关系 （数理逻辑术语）
同一关系又称全同关系、重合关系，相容关系之一。两个概念的外延全部重合的关系。如：
独立性 （其他科学相关）
意志的独立性是指人的意志不易受他人的影响，有较强的独立提出和实施行为目的的能力，
林登鲍姆 （数理逻辑名词）
林登鲍姆，来 源是Adolf Lindenbaum，类 型是数理逻辑名词。在 数
图灵归约 （数理逻辑 名词）
图灵归约是可计算性理论中的一种归约。
次递归性 （数理逻辑 名词）
次递归性（subrecursiveness）是1993年公布的数学名词。
良序原则 （数理逻辑 名词）
良序原则是1993年全国科学技术名词审定委员会公布的数学名词。
力迫关系 （数理逻辑 名词）
力迫关系在力迫法中力迫关系通常记为? （读作力迫），是定义在基础模型 M 中一个
奇异序数 （数理逻辑 名词）
奇异序数（singular ordinal）是1993年公布的数学名词。
构造序数 （数理逻辑 名词）
构造序数（constructive ordinals）是1993年公布的数学名词