計算理論の基礎 2
計算理論の基礎. 2
- Call No. (NDL)
- M121-M636
- Bibliographic ID of National Diet Library
- 032774546
Notes on use
Note (General)：
- 原タイトル: Introduction to the Theory of Computation 原著第3版の翻訳
Detailed bibliographic record
Contents：
- 計算可能性の理論(Provided by: 国立国会図書館蔵書)
Summary, etc.：
- ＭＩＴ屈指の名講義“Ｔｈｅｏｒｙ ｏｆ Ｃｏｍｐｕｔａｔｉｏｎ”をまとめた教科書。２分冊目は、計算可能性の理論について解説。(Provided by: 出版情報登録センター（JPRO）)
Search by Bookstore
Table of Contents
第3章 Church–Turingの提唱
3.1 Turing機械
3.2 Turing機械の変型
3.3 アルゴリズムの定義
第4章 判定可能性
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Northern Japan
福島県立図書館
Paper- Call No.：
- 007.1-ｼﾏ234-2
- Book Registration Number：
- 305597106
Kanto
東京都立中央図書館
Paper- Call No.：
- 007.1-5202-2-2023
- Book Registration Number：
- 7116629652
横浜市立図書館
Paper- Call No.：
- 410.9
- Book Registration Number：
- 2074730852
静岡県立中央図書館
Paper- Call No.：
- 007.1/ｼﾌ/
- Book Registration Number：
- 0023907975
Tokai/Hokuriku
石川県立図書館
Paper- Call No.：
- 007.1/ｼﾌ ｹ/2
- Book Registration Number：
- 010425940
Search by Bookstore
Publication bibliographic database 
Find a bookstore where you can purchase books from
Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.
Find by another way
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 978-4-320-12562-9
- Title
- Title Transcription
- ケイサン リロン ノ キソ
- Volume
- 2
- Author/Editor
- Michael Sipser 著田中圭介, 藤岡淳 監訳阿部正幸 [ほか] 訳
- Author Heading
- 著者 ： Sipser, Michael ( 00804842 )Authorities訳者 ： 田中, 圭介 タナカ, ケイスケ ( 01128478 )Authorities訳者 ： 藤岡, 淳 フジオカ, アツシ ( 00989588 )Authorities訳者 ： 阿部, 正幸 アベ, マサユキ ( 00804843 )Authorities訳者 ： 植田, 広樹 ウエダ, ヒロキ ( 01128479 )Authorities訳者 ： 太田, 和夫, 1954- オオタ, カズオ, 1954- ( 00378165 )Authorities訳者 ： 渡辺, 治, 1958- ワタナベ, オサム, 1958- ( 00254718 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2023.5
- Publication Date (W3CDTF)
- 2023