この商品をご覧のお客様は、こんな商品もチェックしています。
- パソコン仕事が10倍速くなる80+αの方法
-
価格:1,496円(本体1,360円+税)
【2024年01月発売】
- 徹底討議 二〇世紀の思想・文学・芸術
-
価格:4,620円(本体4,200円+税)
【2024年03月発売】
- 日本とユダヤの古代史&世界史 縄文・神話から続く日本建国の真実
-
価格:1,870円(本体1,700円+税)
【2023年07月発売】
- できるWord & Excel 2021
-
価格:2,156円(本体1,960円+税)
【2022年05月発売】
- 復刻版 日本列島改造論
-
価格:1,980円(本体1,800円+税)
【2023年03月発売】
[BOOKデータベースより]
第1巻 オートマトンと言語(序論;正規言語;文脈自由言語)
[日販商品データベースより]第2巻 計算可能性の理論(Church‐Turingの提唱;判定可能性;帰着可能性;計算可能性の理論における先進的な話題)
第3巻 複雑さの理論(時間の複雑さ;領域の複雑さ;問題の扱いにくさ;計算の複雑さの理論における先進的な話題)
M.Sipser教授の“Theory of Computation”の講義はMIT屈指の名講義で、教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた、この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず、証明のアイデアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、随所に講義の雰囲気が感じられる、教育的配慮の行き届いた教科書になっている。
今回第2版では、初版の内容に「選ばれた問題」に対する解答を追加するとともに、いくつかの話題に関して、初版後の研究の進展について説明を加えた。