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

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

  • 2017年度 秋学期 木曜 1時限(9:15〜10:45)
  • 四ツ谷キャンパス 紀尾井坂ビル B210講義室
 回 日付 内容  備考
計算理論 第1回 11月23日 計算の理論を学ぶ意義オートマトンと正規言語完全版 盛りだくさんなので心配しましたが,わりと時間ピッタリで終わりました.
計算理論 第2回
11月30日 正規表現と非正規言語完全版)←完全版では講義後に教えてもらったミスを赤で修正してあります. さすがに量が多すぎました.やはり正規表現の説明までだなと思います.
計算理論 第3回 12月7日 Turing機械とアルゴリズム 今回は「非正規言語とpumping補題」から説明します.
計算理論 第4回 12月14日 対角線論法と停止問題完全版 今回は「Turing認識可能な言語」から説明します.
計算理論 第5回 12月21日
今回は「対角線論法における対応表の作り方」から説明します.
第1回レポート課題
計算理論 第6回  1月11日 PとNP 様々な計算時間の比較
計算理論 第7回  1月18日 NP-完全,NP-困難 今回はクラスNPから説明します.
第2回レポート課題
    授業時間外の学修課題