資料に関する注記
一般注記：
- 原タイトル: Introduction to the Theory of Computation 原著第3版の翻訳
資料詳細
内容細目：
- オートマトンと言語（提供元: 国立国会図書館蔵書）
要約等：
- Ｍ．Ｓｉｐｓｅｒ教授によるＭＩＴ屈指の名講義“Ｔｈｅｏｒｙ ｏｆ Ｃｏｍｐｕｔａｔｉｏｎ”の講義ノートを基にまとめた教科書。（提供元: 出版情報登録センター（JPRO））
書店で探す
目次
第0章 序論
0.1 オートマトン，計算可能性，複雑さ
0.2 数学的概念や用語
0.3 定義，定理，証明
0.4 証明のタイプ
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
北日本
福島県立図書館
紙- 請求記号：
- 007.1-ｼﾏ234-1
- 図書登録番号：
- 305597098
関東
東京都立中央図書館
紙- 請求記号：
- 007.1-5202-1-2023
- 図書登録番号：
- 7116586742
横浜市立図書館
紙- 請求記号：
- 410.9
- 図書登録番号：
- 2074595734
静岡県立中央図書館
紙- 請求記号：
- 007.1/ｼﾌ/
- 図書登録番号：
- 0023901168
東海・北陸
岐阜県図書館
紙- 請求記号：
- 007.1-ｼ-1
- 図書登録番号：
- 8135502783
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-320-12561-2
- タイトル
- タイトルよみ
- ケイサン リロン ノ キソ
- 巻次・部編番号
- 1
- 著者・編者
- Michael Sipser 著田中圭介, 藤岡淳 監訳阿部正幸 [ほか] 訳
- 著者標目
- 著者 ： Sipser, Michael ( 00804842 )典拠訳者 ： 太田, 和夫, 1954- オオタ, カズオ, 1954- ( 00378165 )典拠訳者 ： 渡辺, 治, 1958- ワタナベ, オサム, 1958- ( 00254718 )典拠
- 出版事項
- 出版年月日等
- 2023.4
- 出版年（W3CDTF）
- 2023