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