「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
- みんなの評価
- あなたの評価
評価して"My本棚"に追加
評価ありがとうございます。×
- カテゴリ：大学生・院生
- 発売日：2023/04/24
- 出版社： 共立出版
- サイズ：２１ｃｍ／１９４，４０ｐ
- 利用対象：大学生・院生
- ISBN：978-4-320-12561-2
- 国内送料無料
紙の本
計算理論の基礎 １ オートマトンと言語
著者 Michael Sipser （著）,田中 圭介 （監修）,田中 圭介 （訳）,藤岡 淳 （監修）,藤岡 淳 （訳）,阿部 正幸 （訳）,植田 広樹 （訳）,太田 和夫 （訳）,田中 圭介 （訳）,藤岡 淳 （訳）,渡辺 治 （訳）
計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、計算理論の教科書。問題に対する解答を加えた原著第３版を分冊にしたもの...
計算理論の基礎 １ オートマトンと言語
税込
3,740
円
34pt
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、計算理論の教科書。問題に対する解答を加えた原著第３版を分冊にしたもの。１はオートマトンと言語を収録。【「TRC MARC」の商品解説】
Michael Sipser教授による “Theory of Computation” の講義はMIT屈指の名講義で、教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた、この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず、証明のアイデアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、随所に講義の雰囲気が感じられる、教育的配慮の行き届いた教科書になっている。
第3版では、「決定性文脈自由言語」に関する節が新たに加えられたほか、問題や解答が追加されるとともに、いくつかの話題に関して、第2版刊行後の研究の進展について説明を加えた。【商品解説】
目次
- ０ 序論
- ０．１ オートマトン，計算可能性，複雑さ
- ０．２ 数学的概念や用語
- ０．３ 定義，定理，証明
- ０．４ 証明のタイプ
- １ 正規言語
- １．１ 有限オートマトン
- １．２ 非決定性
- １．３ 正規表現
- １．４ 非正規言語
あわせて読みたい本
この商品に興味のある人は、こんな商品にも興味があります。
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む
