last modified:2013/08/30
(by K. Yamada)

2013後期 計算モデル論（山田）

講義資料

講義で使う資料を以下に示します。各自印刷して、使ってください。(教科書は紙では配付しません)
  1. ガイダンス資料(pdf)...第1回で配るガイダンス資料です。
  2. 教科書 前半(pdf)...第1回〜第7回で使う予定です。 内容は、数学的な準備と有限オートマトンです。
  3. 教科書 後半(pdf)...第8回〜第14回で使う予定です。 内容は、一階述語論理と論理プログラミングです。
授業で行った確認テストです。適宜復習に役立ててください。
  1. 第１回 確認テスト(pdf)
  2. 第２回 確認テスト(pdf)
  3. 第３回 確認テスト(pdf)
  4. 第４回 確認テスト(pdf)
  5. 第５回 確認テスト(pdf)
  6. 第６回 確認テスト(pdf)
期末試験に関する資料です。参考にしてください。
  1. 2011年度期末試験問題(pdf)
  2. 2012年度期末試験問題(pdf)
  3. 2013年度期末試験問題(pdf)
※不明な点は山田(k-yamada@iwate-pu.ac.jp)までお問い合わせください。
Copyright (C) 2013 Keizo Yamada, All rights reserved.