formal system

「 formal system」の意味 意味

  • 名 形式体系

「 formal system」の例文 例文

In the formal system, every statement must be derived from axioms.

その形式体系では、すべての命題は公理から導かれなければならない。

「 formal system」のコアイメージ コアイメージ

公理と規則で命題の導出を形式化するための規則群と記号の体系

「 formal system」の英英 英英

A formalized framework specifying axioms and inference rules that determine valid derivations of statements.

「 formal system」の語源 語源

formal systemは、formal（ラテン語formal＝形に関する）とsystem（ギリシャ語systema＝まとまり）が結合して生まれ、数理論理の文脈で公理と推論規則により体系化する概念となった

「 formal system」のコラム コラム

  • 形式体系は計算機科学や形式言語理論で証明や生成規則の正当性を扱う際の基本概念として用いられる

おすすめの単語帳

1 / 1
QRコード