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