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