講義・演習‎ > ‎秋・冬学期‎ > ‎

SIC20501 情報理工学III(計算と情報の理論)

  • 2016年度 秋学期 木曜 1時限(9:15〜10:45)
  • 四ツ谷キャンパス 3号館 123講義室
 回 日付 内容  備考
1 11月24日 計算の理論を学ぶ意義オートマトンと計算完全版 今回は初回なので20分ほど余りましたが,次回からはガッツリ行きます.
2
12月1日 オートマトンでできることとできないこと完全版
3 12月8日 Turing機械とアルゴリズム完全版 今回は「オートマトンでできることとできないこと」の「正規言語はスター演算に関して閉じていることの証明」から説明します.
4 12月15日 対角線論法と停止問題完全版 今回はTuring機械とアルゴリズムの最初から説明します.
5 12月22日
第1回レポート課題
今回は「対角線論法と停止問題」の「可算集合」から説明します.
1月5日 PとNP
1月19日 NP-完全,NP-困難 今回は「PとNP」の「クラスP」から説明します.
第2回レポート課題
    授業時間外の学修課題