last modified:2016/06/21
(by K. Yamada)

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

講義資料

1. ガイダンス資料(pdf)...講義のガイダンス資料です．
2. 教科書(pdf)...講義資料．このテキストに沿って授業を進めます．

講義計画

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

参考資料

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