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