last modified:2013/01/25
(by K. Yamada)

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

講義資料

講義で使う資料を以下に示します。各自印刷して、使ってください。(教科書は紙では配付しません)
  1. ガイダンス資料(pdf)...第1回で配るガイダンス資料です。
  2. 教科書 前半(pdf)...第1回〜第7回で使う予定です。 内容は、数学的な準備と有限オートマトンです。
  3. 教科書 後半(pdf)...第8回〜第14回で使う予定です。 内容は、一階述語論理と論理プログラミングです。
期末試験に関する資料です。試験対策などに使ってください。
  1. 2011年度期末試験問題(pdf)
  2. 2012年度期末試験問題(pdf)...試験終了後upします。
※不明な点は山田(k-yamada@iwate-pu.ac.jp)までお問い合わせください。
Copyright (C) 2012 Keizo Yamada, All rights reserved.