計算理論の基礎 [原著第2版] 2.計算可能性の理論

著者 : Michael Sipser 太田和夫 田中圭介 阿部正幸 植田広樹 藤岡淳 渡辺治

• 共立出版 (2008年5月21日発売)

作品紹介・あらすじ

　M.Sipser教授の“Theory of Computation”の講義はMIT屈指の名講義で、教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた、この分野の標準的教科書である。
　定理を述べたあと直ちに証明に取りかからず、証明のアイデアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、随所に講義の雰囲気が感じられる、教育的配慮の行き届いた教科書になっている。
　今回第2版では、初版の内容に「選ばれた問題」に対する解答を追加するとともに、いくつかの話題に関して、初版後の研究の進展について説明を加えた。

感想・レビュー・書評

[0541さんの感想 · 2021年5月16日]

少し冗長

[nextschoolさんの感想 · 2009年7月11日]

[借本]

[UmiNanaさんの感想 · 2008年11月15日]

基礎本。