last modified:2020/09/01
(by K. Yamada)

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

講義資料

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

講義計画

1. ５月１９日（火）：第１回：オリエンテーション， 講義動画配信， 第１回レポート課題
2. ５月２６日（火）：第２回：有限状態機械(1)：順序機械， (数学の準備)， 講義動画配信， 第２回レポート課題
3. ６月２日（火）：第３回：有限状態機械(2)：有限オートマトン， 講義動画配信， 第３回レポート課題
4. ６月９日（火）：第４回：有限状態機械(3)：有限オートマトンの限界， 講義動画配信， 第４回レポート課題
5. ６月１６日（火）：第５回：チューリング機械(1)：チューリング機械の動作， 講義動画配信， 第５回レポート課題
6. ６月２３日（火）：第６回：チューリング機械(2)：万能チューリング機械， 講義動画配信， 第６回レポート課題
7. ６月３０日（火）：第７回：チューリング機械(3)：停止性問題， 講義動画配信， 証明の差し替え(p.49)， 第７回レポート課題
8. ７月７日（火）：第８回：論理型計算モデル 述語論理(1)：構文論， 講義動画配信， 第８回レポート課題
9. ７月１４日（火）：第９回：論理型計算モデル 述語論理(2)：意味論， 講義動画配信， 第９回レポート課題
10. ７月２１日（火）：第１０回：論理型計算モデル 論理式の証明(1)：節形式， 講義動画配信， 第１０回レポート課題
11. ７月２８日（火）：第１１回：論理型計算モデル 論理式の証明(2)：単一化， 講義動画配信， 第１１回レポート課題
12. ８月４日（火）：第１２回：論理型計算モデル 論理式の証明(3)：導出，反駁， 講義動画配信， 第１２回レポート課題
13. ８月１１日（火）：休講（木曜授業）
14. ８月１８日（火）：第１３回：論理型計算モデル 論理プログラムとSLD反駁(1)：ホーン節， 講義動画配信， 第１３回レポート課題
15. ８月２５日（火）：第１４回：論理型計算モデル 論理プログラムとSLD反駁(2)：バックトラック， 講義動画配信， 第１４回レポート課題
16. ９月１日（火）：第１５回：まとめ，質疑応答と定期試験， 過去問題(pdf)， 講義動画配信， 期末試験レポート課題

参考資料

1. (第１章(実数)) 新井紀子，新井敏康： 計算とは何か，東京図書，2009．
2. (第１章(実数)) たくみ： 超越数って何だろう？， 予備校のノリで学ぶ「大学の数学・物理」(ヨビノリ)，YouTube，2018．
3. (第１章(ゲーデル数)) 結城浩：数学ガール／ゲーデルの不完全性定理， ＳＢクリエイティブ，2009．
4. (第１章(ゲーデル数)) CASIO：フリー計算，2020．
5. (数学の準備(関数)) たくみ： 【大学数学】単射・全射・全単射【集合論】， 予備校のノリで学ぶ「大学の数学・物理」(ヨビノリ)，YouTube，2017．