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