last modified:2019/05/30
(by K. Yamada)

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

講義資料

1. ガイダンス資料(pdf)
2. 教科書：
   1. 猪股俊光，山田敬三： 計算モデルとプログラミング， 森北出版，2019，ISBN: 978-4-627-85471-0． （４月１５日（月）入荷済）
3. 学習支援コーナー案内(pdf)

講義計画

1. ４月１６日（火）：第１回：ガイダンス，有限状態機械（１）， 第１回レポート課題， レポート返却
2. ４月２３日（火）：第２回：有限状態機械（２）， 第２回レポート課題， レポート返却， 略解と評価
3. ４月３０日（火）：退位の日（休日）
4. ５月７日（火）：第３回：有限状態機械（３）， 第３回レポート課題， レポート返却， 学習支援コーナー案内
5. ５月１４日（火）：第４回：チューリング機械（１）， 第４回レポート課題， レポート返却
6. ５月２１日（火）：第５回：チューリング機械（２）， 第５回レポート課題， レポート返却， 提出状況
7. ５月２８日（火）：第６回：チューリング機械（３）， 第６回レポート課題， レポート返却， 提出状況
8. ６月４日（火）：第７回：論理型計算モデル 述語論理（１）， 第７回レポート課題， レポート返却， 提出状況
9. ６月１１日（火）：第８回：論理型計算モデル 述語論理（２）， 第８回レポート課題， レポート返却， 提出状況
10. ６月１８日（火）：第９回：論理型計算モデル 論理式の証明（１）， 第９回レポート課題， レポート返却， 提出状況
11. ６月２５日（火）：第１０回：論理型計算モデル 論理式の証明（２）， 第１０回レポート課題， レポート返却， 提出状況
12. ７月２日（火）：第１１回：論理型計算モデル 論理式の証明（３）， 第１１回レポート課題， レポート返却， 提出状況
13. ７月９日（火）：第１２回：論理型計算モデル 論理プログラムとSLD反駁（１）， 第１２回レポート課題， レポート返却， 提出状況
14. ７月１６日（火）：第１３回：論理型計算モデル 論理プログラムとSLD反駁（２）， 第１３回レポート課題， レポート返却， 提出状況
15. ７月２３日（火）：第１４回：論理型計算モデル 論理プログラムとSLD反駁（３）， 第１４回レポート課題， レポート返却， 提出状況
16. ７月３０日（火）：第１５回：期末試験， 過去問題(pdf)， 案内(pdf)