日英・英日専門用語辞書

日中韓辭典研究所

compactness theorem

コンパクト性定理
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

Compactness Theorem

コンパクト性定理

Compactness theorem

コンパクト性定理
コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

compactness theoremのページの著作権

  • 日中韓辭典研究所
    Copyright © 2026 CJKI. All Rights Reserved