网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的词汇:

 

词汇 Compactness theorem
分类 英语词汇 英语翻译词典
释义

Compactness theorem

中文百科

紧致性定理

紧致性定理是符号逻辑和模型论中的基本事实,它断言一阶句子的(可能无限的)集合是可满足的(就是说有一个模型),当且仅当它的所有有限子集是可满足的。

命题演算的紧致性定理是吉洪诺夫定理(它声称紧致空间的积是紧致的)应用于紧致Stone空间的结果。

英语百科

Compactness theorem 紧致性定理

In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful method for constructing models of any set of sentences that is finitely consistent.

随便看

 

依恋情感网英汉例句词典收录3870147条英语例句词条,基本涵盖了全部常用英语单词的释义及例句,是英语学习的有利工具。

 

Copyright © 2004-2024 Yiyi18.com All Rights Reserved
京ICP备2021023879号 更新时间:2025/10/8 22:55:59