- 開講元
- 情報工学系
- 授業形態
- 講義 / 演習
- メディア利用科目
- 曜日・時限(講義室)
- 火7-8(W934) 金1-4(W934)
- クラス
- -
- 科目コード
- CSC.T241
- 単位数
- 3
- 開講年度
- 2017年度
- 開講クォーター
- 1Q
- シラバス更新日
- 2017年3月17日
- 講義資料更新日
- 2017年4月21日
- 使用言語
- 日本語
- アクセスランキング
-
講義
第1回 オリエンテーション
2017年04月11日(火) 7-8時限開講
講義
第2回 チューリング機械への導入
2017年04月14日(金) 1-2時限開講
演習
第3回 演習1
2017年04月14日(金) 3-4時限開講
講義
第4回 多テープチューリング機械
2017年04月18日(火) 7-8時限開講
講義
第5回 チューリング機械による計算可能性
2017年04月21日(金) 1-2時限開講
演習
第6回 演習2
2017年04月21日(金) 3-4時限開講
講義
第7回
2017年04月25日(火) 7-8時限開講
中間試験
第8回 中間試験
2017年04月28日(金) 3-4時限開講
講義
第9回 原始帰納的関数
2017年05月02日(火) 7-8時限開講
講義
第10回 帰納的関数 ゲーデル数
2017年05月09日(火) 7-8時限開講
講義
第11回 帰納的関数とチューリング機械
2017年05月12日(金) 1-2時限開講
演習
第12回 演習3
2017年05月12日(金) 3-4時限開講
講義
第13回 ラムダ計算
2017年05月16日(火) 7-8時限開講
講義
第14回 ラムダ計算による計算可能性
2017年05月19日(金) 1-2時限開講
演習
第15回 演習4
2017年05月19日(金) 3-4時限開講
講義
第16回 まとめ
2017年05月23日(火) 7-8時限開講
期末試験
第17回 期末試験
2017年05月26日(金) 3-4時限開講
PDFファイルをご覧になるには、AdobeSystem社のプラグインソフトとして「Adobe Reader」が必要です。
お持ちでない方はこちらからダウンロード（無料）してご利用ください。
