情報理工学III(計算と情報の理論)
2020年度 秋学期 木曜 1時限(9:00〜10:40)
オンライン講義
登録コードSIC20501
計算理論 第2回(11月26日)
計算理論 第2回(11月26日)
非決定性有限オートマトンと正規表現(解答例なし,解答例あり)
計算理論 第3回(12月10日)
計算理論 第3回(12月10日)
非正規言語とTuring機械(解答例なしのみ)
Turing機械に関するいい感じのページ(Turing機械をExcelで実現,Turing機械を物理的に実現,Turing機械を木製機械で実現)
計算理論 第4回(12月17日)
計算理論 第4回(12月17日)
アルゴリズムと停止問題(解答例なしのみ)
計算理論 第5回(1月7日)
計算理論 第5回(1月7日)
前回の続き
計算理論 第6回(1月14日)
計算理論 第6回(1月14日)
PとNP(解答例なしのみ)
計算理論 第7回(1月21日)
計算理論 第7回(1月21日)
NP-完全,NP-困難(解答例なしのみ),付録