last modified:2017/07/11
(by K. Yamada)

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

講義資料

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

講義計画

1. ４月１８日（火）：第１回：有限状態機械（１）： 第１回 確認テスト(pdf)， 答案(pdf)
2. ４月２５日（火）：第２回：有限状態機械（２）： 第２回 確認テスト(pdf)， 答案(pdf)
3. ５月２日（火）：第３回：チューリング機械（１）： 第３回 確認テスト(pdf)， 答案(pdf)
4. ５月９日（火）：第４回：チューリング機械（２）： 第４回 確認テスト(pdf)， 答案(pdf)
5. ５月１６日（火）：第５回：チューリング機械（３）： 第５回 確認テスト(pdf)， 答案(pdf)
6. ５月２３日（火）：第６回：計算量（１）： 第６回 確認テスト(pdf)， 答案(pdf)
7. ５月３０日（火）：第７回：計算量（２）： 第７回 確認テスト(pdf)， 答案(pdf)： 作問課題(pdf)， 作問課題答案(pdf)
8. ６月６日（火）：第８回：述語論理（１）： 第８回 確認テスト(pdf)， 答案(pdf)
9. ６月１３日（火）：第９回：述語論理（２）： 第９回 確認テスト(pdf)， 答案(pdf)
10. ６月２０日（火）：月曜授業のため休講
11. ６月２７日（火）：第１０回：論理式の証明（１）： 第１０回 確認テスト(pdf)， 答案(pdf)
12. ７月４日（火）：第１１回：論理式の証明（２）： 第１１回 確認テスト(pdf)， 答案(pdf)
13. ７月１１日（火）：第１２回：論理式の証明（３）： 第１２回 確認テスト(pdf)， 答案(pdf)
14. ７月１８日（火）：第１３回：論理プログラムとSLD反駁（１）： 第１３回 確認テスト(pdf)， 答案(pdf)
15. ７月２５日（火）：第１４回：論理プログラムとSLD反駁（２）： 第１４回 確認テスト(pdf)， 答案(pdf)
16. ８月１日（火）：第１５回：期末試験， 案内(pdf)

参考資料

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