2017年度情報科学演習I:論理学

この演習は、水曜2限に行われる萩谷先生の「情報論理」に対応した演習です。 情報論理のページは こちら (ITC-LMS) です。

担当TA:

2017年7月10日更新

お知らせ

概要

4月7日より隔週金曜日の3,4限に理学部7号館007教室で行われました。

演習の形式

資料の表紙を参照してください。

日程

配布資料

  • 問題 (第1回4/7に配布, 6/11修正)
  • Q00の例題 (第4回5/30に黒板で紹介)
  • 配布資料の訂正

  • 修正(6/11更新)
  • 既に解かれた発表用問題

    解かれた問題と解いた人の一覧です。学籍番号を一部隠して表示しますが、この表示によって学籍番号は一意に復元できるはずです。

    1. Set Theory Primer

    2. Equational Logic as a Showcase

    3. Propositional Logic

    4. Predicate Logic

    5. Recursive Function

    6. Gödel's Incompleteness Theorem

    7. Advanced Topic : Intuitionistic Logic

    8. Advanced Topic : Dialectica Interpretation

    演習レポートの解答

    更新履歴