模型论(Model theory)是数学的一个学科,模型论的一些重要定理,如紧致性定理,L-S-T 定理,省略型定理, 插值定理等等,不仅对逻辑,集合论,递归论的研究有重要作用,而且也在数论、代数、拓扑等数学学科中得到应用。
... 模型理论 模型论 modeltheory 模型论 模型论 Modelltheorie 模型论引论(英文影印) An Introduction ...
基于6个网页-相关网页
模型论语义学 Model-Theoretic Semantics ; Theoretic Semantics
理论模型 [科技] theoretical model ; Theory Model ; Set-Theoretic Model ; Theoretic Models
模型理论 [数] model theory
标准模型理论 standard model
波特钻石理论模型 Michael Porter Diamon Model ; Michael Porter diamond Model
抽象模型论 abstract model theory
格值模型论 Lattice valued Model
统一理论模型 Unified theory model
·2,447,543篇论文数据,部分数据来源于NoteExpress
本文将模型论介绍为“可定义集的数学”。
We present Model Theory as the"mathematics of definable sets".
连续模型论拥有很多经典模型论所拥有的重要性质。
Continuous model theory also preserves many key properties of classical model theory.
地图模型论是理论地图学研究中提出的一个重要理论。
The theory of map model is an important theory to be proposed by studies in theoretical cartography.
Well, so far we've had two models that have been thrown out to you: From polytheism's worship of many gods there's a natural evolution to henotheism's elevation of one god to a supreme position.
目前,我已经给你们提出了两种模型:,从崇拜众多神灵的多神论,自然进化到一神论,唯一的至高无上的神。
应用推荐