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