模型论（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
-
model theory - 引用次数：13 参考来源 - 逻辑系统动态结构演化研究
-
model theory - 引用次数：2 参考来源 - Lmodelltheorie
-
model theory - 引用次数：1 参考来源 - K
-
model theory
-
model theory
·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.
目前，我已经给你们提出了两种模型：,从崇拜众多神灵的多神论,自然进化到一神论,唯一的至高无上的神。
应用推荐
$firstVoiceSent
- 来自原声例句