- 開講元
- 情報工学系
- 担当教員名
- 尾形 わかは
- 授業形態
- 講義 / 演習
- メディア利用科目
- 曜日・時限(講義室)
- 火7-8(W935) 金1-4(W935)
- クラス
- Ｅ
- 科目コード
- CSC.T241
- 単位数
- 3
- 開講年度
- 2016年度
- 開講クォーター
- 1Q
- シラバス更新日
- 2016年1月11日
- 講義資料更新日
- 2016年4月5日
- 使用言語
- 日本語
- アクセスランキング
-
講義
第1回 チューリング機械１：チューリング機械とは
2016年04月05日(火) 7-8時限開講
講義
第2回 チューリング機械２：データの二進コード化
2016年04月12日(火) 7-8時限開講
講義
第3回 演習，チューリング機械３：プログラミング・テクニック
2016年04月15日(金) 1-4時限開講
講義
第4回 チューリング機械４：万能チューリング機械
2016年04月19日(火) 7-8時限開講
講義
第5回 チューリング機械５：計算可能性，演習
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回 帰納的関数４：帰納的関数の計算可能性，演習
2016年05月13日(金) 1-4時限開講
講義
第11回 帰納的関数５：帰納的関数と計算可能性の等価性
2016年05月17日(火) 7-8時限開講
講義
第12回 ラムダ計算１：ラムダ計算とは，演習
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」が必要です。
お持ちでない方はこちらからダウンロード（無料）してご利用ください。
