| 字词 | 模型论 |
| 类别 | 中英文字词句释义及详细解析 |
| 释义 | 模型论数理逻辑的重要分支之一。为各种数学理论系统建立模型，研究各模型之间的关系，模型与形式系统之间的关系。20世纪50年代后逐渐形成独立学科。在数学基础方面有重要应用。例如用紧致性定理构造非标准模型使实无穷小得到精确的理论根据。 模型论数理逻辑的基本分支之一。研究形式语言与其解释（即模型）之间的关系。 模型论theory of models |
| 随便看 |
|
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。