お店のコメント(スペック情報を含む場合もあり)
内容説明 A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.
商品ジャンル
商品名
最終調査日時
2016/01/28 (Thu) 01:51:15
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2016/01/28 (Thu) 01:51:15
¥17,100
0 %
¥17,100
2012/12/01 (Sat) 08:48:57
¥10,894
0 %
¥10,894
2012/01/01 (Sun) 23:32:53
¥8,007
0 %
¥8,007
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告