| 計算論基礎特論 | 選択必修 | ||||
| Selection compulsory | |||||
| 博士前期１・２年 | 前期 | 2.0 | |||
| Master１/２ | Prophase | ||||
| 吉信康夫: yosinobu@is.nagoya-u.ac.jp 酒井正彦: sakai@is.nagoya-u.ac.jp |
|||||
| 計算論を学ぶ際に必要となる基礎的な事柄を学び、これらの知識を使いこなせるようにする。 | |||||
| 計算論を学ぶ際に必要となる基礎的な事柄として、数学基礎、再帰、グラフ、論理、計算モデル、計算可能性、計算量などについて学習する。また、演習を通じてこれらの知識を使いこなせるようにする。 | |||||
| 試験、演習、レポート等により総合評価 | |||||
| 情報科学の基礎、山崎秀記著、サイエンス社 | |||||