- 担当教員
- 村田 剛志
- 使用教室
- 火3-4(H113) 水3-4(S011)
- 単位数
- 講義：2 演習：1 実験：0
- 講義コード
- 7210
- シラバス更新日
- 2012年3月26日
- 講義資料更新日
- 2012年6月26日
- アクセス指標
-
- 学期
- 前期 / 推奨学期：3
講義
第1回 オリエンテーション
2012年04月10日(火) 3-4時限開講
空の講義資料(15KB) 
講義
第2回 チューリング機械への導入
2012年04月11日(水) 3-4時限開講
演習
第3回 演習1
2012年04月18日(水) 3-4時限開講
講義
第4回 多変数関数のチューリング機械
2012年04月24日(火) 3-4時限開講
講義
第5回 多テープチューリング機械
2012年05月01日(火) 3-4時限開講
講義
第6回 チューリング機械の合成
2012年05月08日(火) 3-4時限開講
演習
第7回 演習2
2012年05月09日(水) 3-4時限開講
講義
第8回 チューリング機械による計算可能性
2012年05月15日(火) 3-4時限開講
講義
第9回 帰納的関数
2012年05月22日(火) 3-4時限開講
講義
第10回 休講
2012年05月29日(火) 3-4時限開講
中間試験
第11回 中間試験
2012年05月30日(水) 3-4時限開講
講義
第12回 休講
2012年06月05日(火) 3-4時限開講
講義
第13回 原始帰納的関数
2012年06月12日(火) 3-4時限開講
演習
第14回 演習3
2012年06月13日(水) 3-4時限開講
講義
第15回 休講
2012年06月19日(火) 3-4時限開講
講義
第16回 帰納的関数とチューリング機械
2012年06月26日(火) 3-4時限開講
講義
第17回 ラムダ計算
2012年07月03日(火) 3-4時限開講
講義
第18回 ラムダ計算
2012年07月10日(火) 3-4時限開講
演習
第19回 演習4
2012年07月11日(水) 3-4時限開講
講義
第20回 まとめ
2012年07月24日(火) 3-4時限開講
期末試験
第21回 期末試験
2012年07月25日(水) 3-4時限開講
講義
第22回 休講
2012年07月31日(火) 3-4時限開講
