您的当前位置：领域 > 数理逻辑 领域
广义连续统假设 （数理逻辑 名词）
广义连续统假设(generalized continuum hy- pothes
策梅洛-弗兰克尔集合论 （数理逻辑 名词）
策梅洛-弗兰克尔集合论(Zermelo-Fraenkel Set Theory)
高阶逻辑 （数理逻辑）
高阶逻辑亦称"广义谓词逻辑"、"高阶谓词逻辑"。一阶逻辑的推广系统，谓词逻辑的重
林登鲍姆 （数理逻辑名词）
林登鲍姆，来 源是Adolf Lindenbaum，类 型是数理逻辑名词。在 数
递归性 （语言 | 石材）
递归性(recursiveness),也可相近地理解为层次性或有机性。是机体或系
良序原则 （数理逻辑 名词）
良序原则是1993年全国科学技术名词审定委员会公布的数学名词。
苏斯林树 （数理逻辑 名词）
苏斯林树是一种无穷树，指高度为ω1，每条链及反链均可数的树。研究苏斯林树的直接动
脱殊集 （数理逻辑 名词）
脱殊集（generic set）是1993年公布的数学名词。
通用函数 （数理逻辑 名词）
通用函数(universal function)递归证明中常用的一种函数.设△。
前束词 （数理逻辑 名词）
前束词（prefix）是1993年公布的数学名词。
斯科伦壳 （数理逻辑 名词）
斯科伦壳（Skolem hull）是1993年公布的数学名词。
真假值表 （数理逻辑 名词）
真假值表（truth table）是1993年公布的数学名词。
斯科伦函数 （数理逻辑 名词）
斯科伦函数（Skolem function）是1993年公布的数学名词。
可接受标号 （数理逻辑 名词）
可接受标号是1993年全国科学技术名词审定委员会公布的数学名词。
原子公式 （数理逻辑）
原子公式，在数理逻辑中，原子公式（Atomic formula）或原子是没有子公
力迫条件 （数理逻辑 名词）
力迫条件(forcing condition)是公理集合论术语，指用于力迫构造的
次递归性 （数理逻辑 名词）
次递归性（subrecursiveness）是1993年公布的数学名词。
无穷小 （汉语词汇）
拼音：wúqiónɡxiǎo名一个变量在变化过程中，绝对值永远小于任意小的已定正
递归结构 （数理逻辑 名词）
递归结构（recursive structure）是1993年公布的数学名词。
投影确定性 （数理逻辑 名词）
投影确定性（projective determinacy）是1993年公布的数学
递归论 （数理逻辑的重要分支之一）
递归论（Recursion theory）是数理逻辑的重要分支之一，研究解决问题
佐恩引理 （其他科学相关）
佐恩引理(Zorn's Lemma)也被称为库那图斯克-佐恩引理(Kuratow
图灵归约 （数理逻辑 名词）
图灵归约是可计算性理论中的一种归约。
力迫法 （数理逻辑 名词）
力迫法是公理集合论研究中构造扩充模型的一种重要方法，它是科恩在1963年证明连续
波斯特系统 （数理逻辑领域术语）
波斯特系统(Post system)亦称波斯特正规系统或组合系统，一种形式系统，
同一关系 （数理逻辑术语）
同一关系又称全同关系、重合关系，相容关系之一。两个概念的外延全部重合的关系。如：
原子模型 （数理逻辑 名词）
原子模型是由原子核(质子和中子)和电子构成，电子绕核做不规则运动，形成电子云。这
隶属关系 （数理逻辑 名词）
?隶属关系是指在类目表中下位类一定要带有上位类的属性，上位类一定能包含它所属的各
递归分析 （石材）
非标准分析 （数理逻辑 名词）
非标准分析(Non-standard analysis)，数学中利用现代数理逻辑
语句 （词汇|汉字）
一个语法上自成体系的单位，它由一个词或句法上有关连的一组词构成，表达一种主张、疑
替换 （词汇）
替换，指更替调换;倒换。1、指把原来的(工作着的人、使用着的衣物等)调换下来;倒
序数 （其他）
集合论基本概念之一，是日常使用的第一、第二等表示次序的数的推广。序数概念是建立在
代入 （机械）
代入(substitution)谓词演算的基本运算之一设沪是一个谓词演算公式，x
可计算性 （语言 | 信息通讯）
谓词演算 （信息通讯）
数理逻辑最基本的形式系统。又称一阶逻辑。一个可以回答真假的命题，不仅可以分析到简
标号 （其他）
含义:给物品，文章等标序号(按1，2,3,4,5,6,。。。。的顺序标)，使物品
逻辑表达式 （数理逻辑）
逻辑运算又称布尔运算。布尔用数学方法研究逻辑问题，成功地建立了逻辑演算。他用等式
吴允曾 （数理逻辑学家和计算机科学家）
吴允曾，数理逻辑学家和计算机科学家。籍贯浙江省杭州市仁和县，1918年4月4日出
数学基础 （数理逻辑）
数学基础(Foundation of Mathematics)是研究整个数学的理