情報理工学III（計算と情報の理論）

• 2018年度 秋学期 木曜 1時限（9:15〜10:45）
• 12号館 402講義室
• 登録コードSIC20501

計算理論 第1回（11月22日）

• 計算の理論を学ぶ意義
• オートマトンと正規言語（講義版，完全版）

計算理論 第2回（11月29日）

• 正規表現と非正規言語

計算理論 第3回（12月6日）

• Turing機械とアルゴリズム

計算理論 第4回（12月13日）

• 対角線論法と停止問題

計算理論 第5回（12月20日）

• 前回の続き

計算理論 第6回（1月10日）

• PとNP

計算理論 第7回（1月17日）

• NP-完全，NP-困難