![計算理論の基礎 [原著第3版] 2.計算可能性の理論の表紙](/_next/image?url=https%3A%2F%2Fthumbnail.image.rakuten.co.jp%2F%400_mall%2Fbook%2Fcabinet%2F5629%2F9784320125629_1_2.jpg%3F_ex%3D400x400&w=3840&q=75 "計算理論の基礎 [原著第3版] 2.計算可能性の理論")
計算理論の基礎 [原著第 3 版] 2.計算可能性の理論(ケイサンリロンノキソゲンチョダイサンハンニケイサンカノウセイノリロン)
- 著者:
- Michael Sipser/田中 圭介/藤岡 淳/阿部 正幸/植田 広樹/太田 和夫(マイケル シプサー/タナカ ケイスケ/フジオカ アツシ/アベ マサユキ/ウエダ ヒロキ/オオタ カズオ)
- 出版社:
- 共立出版
- 出版日:
- 2023年05月08日
- ISBN:
- 9784320125629
- 在庫:
- 在庫あり
なぜ注目されているか
書籍紹介
Michael Sipser 教授による “ Theory of Computation ” の講義は MIT 屈指の名講義で、教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた、この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず、証明のアイデアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、随所に講義の雰囲気が感じられる、教育的配慮の行き届いた教科書になっている。
第 3 版では、「決定性文脈自由言語」に関する節が新たに加えられたほか (第 2 巻) 、問題や解答が追加されるとともに、いくつかの話題に関して、第 2 版刊行後の研究の進展について説明を加えた。
第 3 章 Church – Turing の提唱
3.1 Turing 機械
3.2 Turing 機械の変型
3.3 アルゴリズムの定義
第 4 章 判定可能性
4.1 判定可能な言語
4.2 判定不可能性
第 5 章 帰着可能性
5.1 言語理論における判定不可能問題
5.2 単純な判定不可能問題
5.3 写像帰着可能性
第 6 章 計算可能性の理論における先進的な話題
6.1 再帰定理
6.2 数理論理における判定可能性
6.3 Turing 帰着可能性
6.4 情報の定義
この本に興味がある方におすすめ
この本に関連
![計算理論の基礎 [原著第3版] 3.複雑さの理論の表紙](/_next/image?url=https%3A%2F%2Fthumbnail.image.rakuten.co.jp%2F%400_mall%2Fbook%2Fcabinet%2F5636%2F9784320125636_1_2.jpg%3F_ex%3D400x400&w=3840&q=75 "計算理論の基礎 [原著第3版] 3.複雑さの理論")
![計算理論とオートマトン言語理論[第2版]の表紙](/_next/image?url=https%3A%2F%2Fthumbnail.image.rakuten.co.jp%2F%400_mall%2Fbook%2Fcabinet%2F5210%2F9784781915210.jpg%3F_ex%3D400x400&w=3840&q=75 "計算理論とオートマトン言語理論[第2版]")
Michael Sipser の他の書籍
![計算理論の基礎 [原著第3版] 1.オートマトンと言語の表紙](/_next/image?url=https%3A%2F%2Fthumbnail.image.rakuten.co.jp%2F%400_mall%2Fbook%2Fcabinet%2F5612%2F9784320125612_1_3.jpg%3F_ex%3D400x400&w=3840&q=75 "計算理論の基礎 [原著第3版] 1.オートマトンと言語")
関連記事
本を読まないテックリードと、本を読むジュニアの逆転劇
経験年数だけでは技術力は測れません。読書習慣のあるジュニアが、読書しないテックリードを設計力で追い抜く現象が起きる理由と、そこから学べる教訓を考えます。
技術書のアウトプット術 - 読んだ本の価値を 10 倍にする方法
技術書を読んだ後のアウトプット方法を負担の少ないものから 5 段階で紹介。アウトプットが記憶の定着を劇的に改善する理由も解説します。
foo, bar, Alice, Bob はどこから来たのか - 技術書のサンプル名の由来
技術書やコード例でおなじみの foo, bar, Alice, Bob。これらの名前にはそれぞれ歴史的な由来があります。知っていると少し楽しくなる雑学を紹介します。