您的当前位置：领域 > 数理逻辑 领域
次递归性 （数理逻辑 名词）
次递归性（subrecursiveness）是1993年公布的数学名词。
良序原则 （数理逻辑 名词）
良序原则是1993年全国科学技术名词审定委员会公布的数学名词。
苏斯林树 （数理逻辑 名词）
苏斯林树是一种无穷树，指高度为ω1，每条链及反链均可数的树。研究苏斯林树的直接动
脱殊集 （数理逻辑 名词）
脱殊集（generic set）是1993年公布的数学名词。
通用函数 （数理逻辑 名词）
通用函数(universal function)递归证明中常用的一种函数.设△。
前束词 （数理逻辑 名词）
前束词（prefix）是1993年公布的数学名词。
共尾性 （数理逻辑 名词）
共尾性（cofinality）是1993年公布的数学名词。
构造序数 （数理逻辑 名词）
构造序数（constructive ordinals）是1993年公布的数学名词
递归结构 （数理逻辑 名词）
递归结构（recursive structure）是1993年公布的数学名词。
斯科伦壳 （数理逻辑 名词）
斯科伦壳（Skolem hull）是1993年公布的数学名词。
真假值表 （数理逻辑 名词）
真假值表（truth table）是1993年公布的数学名词。
斯科伦函数 （数理逻辑 名词）
斯科伦函数（Skolem function）是1993年公布的数学名词。
可接受标号 （数理逻辑 名词）
可接受标号是1993年全国科学技术名词审定委员会公布的数学名词。
第一超穷序数 （数理逻辑 名词）
第一超穷序数（first transfinite ordinal）是1993年公
良序 （数理逻辑 名词）
良序是数学用语的称呼。定义设集合 (S ,≤) 为一全序集，≤是其偏序关系。对任
递归集 （数理逻辑 名词）
递归集是递归论用语。令A?Nn，如果A的特征函数CA(x1，…，xn)是μ-递归
非标准分析 （数理逻辑 名词）
非标准分析(Non-standard analysis)，数学中利用现代数理逻辑
归约 （数理逻辑 名词）
归约是使用解题的"黑盒"来解决另一个问题的思维方式。英文决其它问Reductio
良序集 （数理逻辑 名词）
设集合(S,≤)为一全序集，≤是其全序关系，若对任意的S的非空子集，在其序下都有
图灵归约 （数理逻辑 名词）
图灵归约是可计算性理论中的一种归约。
摹状算子 （数理逻辑 名词）
摹状算子（description operator）是1993年公布的数学名词。
互斥析取 （数理逻辑 名词）
互斥析取（exclusive disjunction）是1993年公布的数学名词
联结词 （数理逻辑 名词）
联结词亦称命题联结词，命题逻辑的基本概念之一，指由已有的命题构造出新命题所用的词
连续统假设 （数理逻辑 名词）
1874年格奥尔格·康托尔猜测在可列集基数和实数基数之间没有别的基数，这就是著名
不可达基数 （数理逻辑 名词）
不可达基数(inaccessible cardinals)强弱不可达基数的统称.
隶属关系 （数理逻辑 名词）
?隶属关系是指在类目表中下位类一定要带有上位类的属性，上位类一定能包含它所属的各
矢列式 （数理逻辑 名词）
矢列式（sequent）是1993年公布的数学名词。
无穷小 （汉语词汇）
拼音：wúqiónɡxiǎo名一个变量在变化过程中，绝对值永远小于任意小的已定正
函数符号 （其他科学相关）
约翰.伯努利於1694年首次提出函数(function)概念，并以字母 n 表示
力迫法 （数理逻辑 名词）
力迫法是公理集合论研究中构造扩充模型的一种重要方法，它是科恩在1963年证明连续
语句 （词汇|汉字）
一个语法上自成体系的单位，它由一个词或句法上有关连的一组词构成，表达一种主张、疑
替换 （词汇）
替换，指更替调换;倒换。1、指把原来的(工作着的人、使用着的衣物等)调换下来;倒
序数 （其他）
集合论基本概念之一，是日常使用的第一、第二等表示次序的数的推广。序数概念是建立在
假值 （生活日用品 | 信息通讯）
代入 （机械）
代入(substitution)谓词演算的基本运算之一设沪是一个谓词演算公式，x
可计算性 （语言 | 信息通讯）
谓词演算 （信息通讯）
数理逻辑最基本的形式系统。又称一阶逻辑。一个可以回答真假的命题，不仅可以分析到简
命题代数 （信息通讯）
数学归纳法 （石材）
字母表 （其他文化相关）
大约公元前13世纪，腓尼基人创造了人类历史上第一批字母文字，共22个字母(无元音