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

計算の理論の世界へ,ようこそ!Michael Sipser教授の“Theory of Computation”の講義も,本書と同様に,このフレンドリーな挨拶から始まった.彼の講義はMIT屈指の名講義で,教室には活気と笑いが絶えることはない。本書は,その講義ノートをもとにまとめられたもので,計算の理論の主テーマである,「オートマトンと言語の理論」,「計算可能性の理論」,そして「複雑さの理論」をカバーした,この分野の標準的教科書である。定理を述べたあと直ちに証明に取りかからず,証明のアイデアを与える工夫,証明の失敗例に言及して理解を深めさせるなど,随所に講義の雰囲気が感じられる,教育的配慮の行き届いた教科書になっている。今回の第2版では,「第1巻:オートマトンと言語の理論」,「第2巻:計算可能性の理論」,「第3巻:複雑さの理論」の全3巻に分冊化した.また,初版の内容に「選ばれた問題」に対する解答を追加するとともに,いくつかの話題に関して,初版後の研究の進展について説明を加えた。

計算理論の基礎(原著第2版)2.計算可能性の理論 EPUB, PDF, TXT, AZW3, MOBI, FB2, DjVu, Kindle电子书免费下载。

《計算理論の基礎(原著第2版)2.計算可能性の理論》电子书免费下载

epub下载 pdf下载 txt下载 azw3下载 mobi下载 fb2下载 djvu下载