2016年度後期・全学教養科目・現代数学への流れ

レポート

• レポート課題 提出期限 2016年2月3日(金) 12時正午
  提出場所 教養教育院事務 (1月17日よりメールボックス設置)

講義予定

第1回 10月7日

Turing機械と計算可能性

• 講義メモ
• 補助資料 (完全版)

第2回 10月14日

Turing機械の形式化

第3回 10月21日

万能Turing機械

第4回 10月28日

判定不能な問題

第5回 11月4日

ラムダ計算

• 講義メモ

第6回 11月11日

ラムダ計算の応用

第7回 11月18日

ラムダ計算のTuring完全性とコンビネータ論理

• 講義メモ

第8回 11月25日

コンビネータ論理

第9回 12月2日

帰納的関数

• 講義メモ

第10回 12月9日

帰納的関数

第11回 12月16日

型付きラムダ計算

• 講義メモ
  12月23日および1月13日は講義はありません

第12回 1月20日

型付きラムダ計算・命題論理

• 講義メモ

第13回 1月27日

述語論理と依存型