「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
紙の本
計算理論の基礎
著者 Michael Sipser (著),渡辺 治 (監訳),太田 和夫 (監訳),阿部 正幸 (ほか訳)
計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、学部上級・大学院初級向けの計算機理論の教科書。定理とその証明を中心に...
計算理論の基礎
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、学部上級・大学院初級向けの計算機理論の教科書。定理とその証明を中心に、主要な話題を数学的に扱う。【「TRC MARC」の商品解説】
「計算の理論の世界へ、ようこそ!」
Michael Sipser教授の「Theory of Computation」の講義も、本書と同様に、このフレンドリーな挨拶から始まりました。彼の講義はMIT屈指の名講義で、教室には活気と笑いがあふれていました。2、3回の聴講を考えていた私はその魅力に魅せられて、91年秋学期の全講義に出席することになりました。
本書は、Sipser教授のMITでの講義ノートをもとにまとめられたものです。計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、そして計算の複雑さの理論をカバーしています。
「まえがき」を含めて、随所に講義の雰囲気が感じられます。定理を述べたあと直ちに証明に取り かからず、証明のアイディアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、教育的 配慮の行き届いた教科書だと言えましょう。――訳者まえがきより【商品解説】
目次
- 0章 序論
- 0.1 オートマトン,計算可能性,複雑さ
- 0.2 数学的概念や用語
- 0.3 定義,定理,証明
- 0.4 証明のタイプ
- 第1部 オートマトンと言語
- 1章 正規言語
著者紹介
Michael Sipser
- 略歴
- 〈Sipser〉カリフォルニア大学バークレー校で計算機科学の博士号取得。MIT応用数学科教授・計算機科学研究所メンバー。現在、「計算の複雑さの理論」の研究を進めている。
あわせて読みたい本
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む
紙の本
計算機のハード/ソフトおよびそれに関する計算理論の教科書。理工系大学院の学生,エンジニアが対象読者
2000/10/13 00:15
0人中、0人の方がこのレビューが役に立ったと投票しています。
投稿者:ブックレビュー社 - この投稿者のレビュー一覧を見る
計算機のハードウエア,ソフトウエアおよびそれに関する計算理論の基礎を学ぶための教科書。数理/工学系大学院における初等教育で利用することを前提に執筆している。もちろん大学の講義で使うだけでなく企業での研修,技術者の学習場面で活用することもできるが,読みこなすには数理/工学系の大学学部卒業レベルの知識が必要。
本書は,米MIT(マサチューセッツ工科大学)のMichael Sipser教授が,計算理論に関する大学院における自身の講義録をまとめて出版した教科書を,NTTのエンジニアたちが翻訳したものである。全体は4部構成。「序論」ではオートマトン,数学的概念および用語などを概説する。続く本編は「オートマトンと言語」「計算可能性の理論」「複雑さの理論」の3部で計算理論の基礎を解説する。「オートマトンと言語」ではいくつかのオートマトンに関して解説する。「計算可能性の理論」では,チューリング機械の概説から説き起こし,判定可能性や帰着可能性について論じる。最後の「複雑さの理論」では,時間および領域の複雑さ,問題の扱いにくさ,そして計算の複雑さに関する最新の話題に触れる。
(C) ブックレビュー社 2000