計算理論の基礎. 1

• 資料種別: 図書
• ISBN: 978-4-320-12561-2
• タイトル: 計算理論の基礎
• タイトルよみ: ケイサン リロン ノ キソ
• 巻次・部編番号: 1
• 著者・編者: Michael Sipser 著; 田中圭介, 藤岡淳 監訳; 阿部正幸 [ほか] 訳
• 著者標目: 著者 ： Sipser, Michael ( 00804842 )典拠; 訳者 ： 田中, 圭介 タナカ, ケイスケ ( 01128478 )典拠; 訳者 ： 藤岡, 淳 フジオカ, アツシ ( 00989588 )典拠; 訳者 ： 阿部, 正幸 アベ, マサユキ ( 00804843 )典拠; 訳者 ： 植田, 広樹 ウエダ, ヒロキ ( 01128479 )典拠; 訳者 ： 太田, 和夫, 1954- オオタ, カズオ, 1954- ( 00378165 )典拠; 訳者 ： 渡辺, 治, 1958- ワタナベ, オサム, 1958- ( 00254718 )典拠
• 出版事項: 東京 : 共立出版 (出版)
• 出版年月日等: 2023.4
• 出版年（W3CDTF）: 2023
• 数量: 194,40p
• 大きさ: 21cm
• その他のタイトル: オートマトンと言語 オートマトン ト ゲンゴ; Introduction to the Theory of Computation
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 原文の言語コード: eng
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 件名標目: 計算量理論 ケイサンリョウリロン ( 00576481 )典拠; オートマトン オートマトン ( 00568995 )典拠
• NDC10版: 007.1 : 情報学．情報科学
• NDLC: M121
• 対象利用者: 一般
• 一般注記: 原タイトル: Introduction to the Theory of Computation 原著第3版の翻訳
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 3400円
• 所蔵機関: 国立国会図書館
• 請求記号: M121-M617
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 032756517; http://id.ndl.go.jp/bib/032756517
• 全国書誌番号: 23833216
• トーハンMARC番号: 34466181
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

• 内容細目: オートマトンと言語（提供元: 国立国会図書館蔵書）
• 要約等: Ｍ．Ｓｉｐｓｅｒ教授によるＭＩＴ屈指の名講義“Ｔｈｅｏｒｙ ｏｆ Ｃｏｍｐｕｔａｔｉｏｎ”の講義ノートを基にまとめた教科書。（提供元: 出版情報登録センター（JPRO））

目次

第0章　序論

0.1　オートマトン，計算可能性，複雑さ

0.2　数学的概念や用語

0.3　定義，定理，証明

0.4　証明のタイプ