last modified:2014/04/15
(by K. Yamada)

2014前期 計算モデル論（山田）

講義資料

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