「計算理論の基礎 3 複雑さの理論」
Michael Sipser / 太田 和夫 / 田中 圭介
定価: ¥
3700
●状態:
購入して、一読しました
●カバー:あり・帯なし
●ヤケ:なし
●ヨレ:なし
●スレ:なし
●折り目:なし
●書き込み:なし
●その他、注意事項:
こちらの商品は即購入していただいて構いません。中古品ということをご理解の上ご検討ください。値下げや商品の確認をする場合はプロフィール欄をご確認の上コメントしてください。
計算の理論の世界へ,ようこそ!
Michael Sipser教授の“Theory of
Computation”の講義も,本書と同様に,このフレンドリーな挨拶から始まった.彼の講義はMIT屈指の名講義で,教室には活気と笑いが絶えることはない。本書は,その講義ノートをもとにまとめられたもので,計算の理論の主テーマである,「オートマトンと言語の理論」,「計算可能性の理論」,そして「複雑さの理論」をカバーした,この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず,証明のアイデアを与える工夫,証明の失敗例に言及して理解を深めさせるなど,随所に講義の雰囲気が感じられる,教育的配慮の行き届いた教科書になっている。
今回の第2版では,「第1巻:オートマトンと言語の理論」,「第2巻:計算可能性の理論」,「第3巻:複雑さの理論」の全3巻に分冊化した.また,初版の内容に「選ばれた問題」に対する解答を追加するとともに,いくつかの話題に関して,初版後の研究の進展について説明を加えた。
#MichaelSipser #Michael_Sipser #太田和夫 #太田_和夫 #田中圭介 #田中_圭介 #本 #自然/数学