情報論理のバックアップ(No.1) - PukiWiki

[ トップ ] [ 新規 | 一覧 | 単語検索 | 最終更新 | ヘルプ ] [ リンク元 ]

バックアップ一覧
差分を表示
現在との差分を表示
ソースを表示
情報論理へ行く。
- 1 (2008-07-27 (日) 05:31:23)
- 2 (2008-07-27 (日) 08:41:26)

情報論理 †

担当：萩谷昌巳教授
2.0単位
10:15-11:45 化東236
評価：出席，中間試験，期末試験

http://nicosia.is.s.u-tokyo.ac.jp/~hagiya/#lecture

内容 †

命題論理
述語論理
- コンパクト性：論理式の集合に対して，その任意の有限部分集合が個別に充足可能ならば，集合全体を同時に充足可能
- 完全性
  - 弱い完全性：
  - 強い完全性：
- 健全性：