形式理論

ウィキペディア

形式理論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/01/05 07:30 UTC 版)

形式理論 (英: Formal theory) は以下のものを言及する：

• 形式言語において表現される理論 (en) のこと。
• 記号とその演算によって表現されるような公理系のこと。
• 形式体系。
• ゲーム理論に基づいた社会システムの理論的モデル化や力学系理論 (en) などの政治学における形式理論 (en)のこと。

脚注

このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクしているページを見つけたら、リンクを適切な項目に張り替えて下さい。