タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

モデル理論に関するDOISHIGERUのブックマーク (2)

  • システム思考 - Wikipedia

    システム思考(Systems thinking)には、様々な種類のシステムの多様な研究の技法が含まれる。自然界では、システム思考の対象の例として、例えば、大気、水、植物、動物など相互に作用を及ぼす多様な要素を含む生態系(エコシステム)があげられる。組織について言えば、システムは、組織を健康や不健康にするように機能する、人、構造、プロセスから構成される。システム工学は、複雑な工学システムを設計、構築、運行、維持するためにシステム思考を使う分野である。平和学の分野では、統計的な線形因果関係よりも有用である[1]。日語の表記は「システムズ・シンキング」「システム・シンキング」とされることもある。 概要[編集] 人工物、生物の身体、社会集団など様々な現象をシステムとしてとらえたのが、ルートヴィヒ・フォン・ベルタランフィらが唱えた一般システム理論である。そのなかで、企業や自治体の経営課題、環境問題

  • モデル理論 - Wikipedia

    この項目では、数学の領域について説明しています。数学および科学の他の分野における非形式的な概念については「数理モデル」をご覧ください。 モデル理論(もでるりろん、英 : Model theory)は、数理論理学による手法を用いて数学的構造(例えば、群、体、グラフ、集合論の宇宙)を研究(分類)する数学の分野である。 モデル理論における研究対象は、形式言語の文に意味を与える構造(英語版)としてのモデルである。もし言語のモデルがある特定の文(英語版)または理論(英語版)(特定の条件を満足する文の集合)を満足するならば、それはその文または理論のモデルと呼ばれる。 モデル理論は代数および普遍代数と関係が深い。 この記事では、無限構造の有限一階モデル理論に焦点を絞っている。有限構造を対象とする有限モデル理論は、扱っている問題および用いている技術の両方の面で、無限構造の研究とは大きく異なるものとなってい

  • 1