Theory of Computation I (Japanese Version Only)

計算の理論I

担当教官：大月美佳

講義時間：月曜3時限（12:40～14:10）

対象学生：知能情報システム学科3年

前期必修2単位

教科書（前期）：

J. ホップクロフト、J. ウルマン「オートマトン言語理論計算論I」(サイエンス社) \2816 ( amazon.co.jp)

参考書：

M. Sipser 「計算理論の基礎」(共立出版) \7500 ( amazon.co.jp)
J. ホップクロフト、J. ウルマン「言語理論とオートマトン」(サイエンス社) (amazon.co.jp)
A. サローマ「計算論とオートマトン理論」 Information & Computing (28) (サイエンス社) ( amazon.co.jp)
J. ホップクロフト、J. ウルマン「オートマトン言語理論計算論II」(サイエンス社) \2816 ( amazon.co.jp)
有川節夫・宮野悟「オートマトンと計算可能性」情報処理シリーズ9 (倍風館) ( amazon.co.jp)
富田他「オートマトン・言語理論」(森北出版)
Derick Wood: Theory of Computation, Harper & Row Pub., 1987
渡辺治「計算可能性・計算の複雑さ入門」(近代科学社)
高橋正子「計算論計算可能性とラムダ計算」(近代科学社)
笠井琢美「計算量の理論」(近代科学社)
小林孝次郎「計算の複雑さ」(昭晃堂)
斎藤伸自他「離散数学」電気・電子・情報工学基礎講座33(朝倉書店)
D. Mandrioli and C.Chezzi, Theoretical Foundations of Computer Science, (John Wiley & Sons)
M. アービブ、A. クフォーリ、R. モル「計算機科学入門」(サイエンス社)