last modified:2018/07/12
(by K. Yamada)

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

講義資料

1. ガイダンス資料(pdf)...講義のガイダンス資料です．
2. 教科書：教科書は第１回の講義で配布します．

講義計画

1. ４月１７日（火）：第１回：講義概要
2. ４月２４日（火）：第２回：数学的準備
3. ５月１日（火）：第３回：有限状態機械（１）
4. ５月８日（火）：第４回：有限状態機械（２）
5. ５月１５日（火）：第５回：チューリング機械（１）： 第５回 確認テスト(pdf)， 答案(pdf)
6. ５月２２日（火）：第６回：チューリング機械（２）
7. ５月２９日（火）：第７回：チューリング機械（３）： 作問課題(pdf)， 作問課題答案(pdf)
8. ６月５日（火）：第８回：述語論理（１）
9. ６月１２日（火）：第９回：述語論理（２）
10. ６月１９日（火）：開学20周年記念行事のため休講
11. ６月２６日（火）：第１０回：論理式の証明（１）
12. ７月３日（火）：第１１回：論理式の証明（２）： 第１１回 確認テスト(pdf)， 答案(pdf)
13. ７月１０日（火）：第１２回：論理式の証明（３）
14. ７月１７日（火）：第１３回：論理プログラムとSLD反駁（１）： 第１３回 確認テスト(pdf)， 答案(pdf)
15. ７月２４日（火）：第１４回：論理プログラムとSLD反駁（２）： 第１４回 確認テスト(pdf)
16. ７月３１日（火）：第１５回：期末試験， 案内(pdf)

参考資料

1. 2017年度期末試験問題(pdf)