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