模型论

模型论 正文　　数理逻辑的一个分支。它是研究形式语言及其解释（模型...）等人在数理逻辑研究中就已经得到有关模型论性质的重要结果。但作为系统的理论，模型论的奠基人应推A.塔尔斯基。后来，A.鲁宾逊也对模型论作过较多...

所属分类： 哥德尔不完备定理 数学 术语 自动化 计算机术语

模态模型论

模态模型论 正文　　模态逻辑的模型论。特别是指量词模态逻辑即一阶模态谓词逻辑的模型论。它从属于模态逻辑的三个主要研究方向，即公理学、语义学和代数学方向之一的语义学方向。模态逻辑的关系语义学(又称关系模型论)一般公认...

标准模型论

理论介绍 粒子物理学的标准模型是一套描述强力、弱力及电磁力这三种基本...的预测。但是标准模型还不是一套万有理论，主要是因为它并没有描述到重力。 模型的内容 标准模型包含费米子及玻色子——费米子为拥有半整数的自旋并遵守...

所属分类： 物理

紧致性定理

紧致性定理 正文　　模型论中的一条基础性的定理。在一阶模型论中，该...是该定理之所以能在模型论以及其他一些数学分支中起重要作用的主要原因。例如...地讨论各种分析数学问题，这就是非标准分析。它是模型论、特别是其中的紧致...

所属分类： 定理 数学定理

数理逻辑

分支，如递归论、模型论等。第归论主要研究可计算?。模型论主要是研究形式系统...。 体系 模型论数理逻辑的主要分支包括：模型论、证明论、递归论和公理化集合...从模型论衍生而来，而程序验证则从模型论的模型检测衍生而来。 柯里——霍...

所属分类： 学科名 数学 数学术语 数学理论 数理逻辑

王世强

论和泛代数、逻辑演算、格值模型论及模型论的代数应用等领域多有建树。1948年...加入中国共产党。专于数理逻辑和代数，倡导模型论的研究。从计算机科学、多值逻辑和模糊逻辑发展背景中提出格值模型论，并将模型论应用于代数方面，研究一些...

所属分类： 中国科学家 中国科学院院士 人物

孟德鸠语法

揭示出这种意义，还必须进一步研究语义理论，即内涵逻辑的模型论。这方面的研究...

司寇伦定理

司寇伦定理 正文　　模型论中的一条重要定理。它的发展了的形式通常也被称为勒文海姆-司寇伦-塔尔斯基定理,简称LST定理。在一阶模型论中，LST...）,如果L中的一个形式理论T有无限模型，则T有基数为任何 α≥λ 的模型。在非...

希尔伯特，D.

论、递归论和模型论。 　　希尔伯特的著作除全集3卷外,还有：《几何基础...穷大的数学系统的一致性。他称这种研究为“元数学”或“证明论”，并组织力量...

逻辑演算

远超出了逻辑演算的范围而发展成为四个主要分支──模型论、公理集合论、递归论和证明论...的一般结论。例如勒文海姆－斯科朗定理(见模型论)。哥德尔完备性定理（见一阶...系统的解释或意义称为语义。例如形式系统中的公式或句子在某个数学结构或模型...

所属分类： 弗雷格命题演算 术语 计算机术语 计算机编程

搜索模型论相关的维吧

1[2][3][4][5]下一页最后一页