Jump to main content

図書

計算理論の基礎 2

Icons representing 図書
The cover of this title could differ from library to library.

計算理論の基礎. 2

Call No. (NDL)
M121-M636
Bibliographic ID of National Diet Library
032774546
Material type
図書
Author
Michael Sipser 著ほか
Publisher
共立出版
Publication date
2023.5
Material Format
Paper
Capacity, size, etc.
p196～328 40p ; 21cm
NDC
007.1
View All

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

Search by Bookstore

Table of Contents

Provided by：出版情報登録センター（JPRO）

  • 第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.

List of Cooperating Institutions and Databases

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/ｼﾌ ｹ/2
    Book Registration Number：
    010425940
    石川県立図書館

  • 岐阜県図書館

    Paper
    Call No.：
    007.1-ｼ-2
    Book Registration Number：
    8135509579
    岐阜県図書館

  • 三重県立図書館

    Paper
    Call No.：
    007.1-ｼ-2
    Book Registration Number：
    117328849
    三重県立図書館

  • 愛媛県立図書館

    Paper
    Call No.：
    007.1-シマ2-2023
    Book Registration Number：
    5106396018
    愛媛県立図書館

  • 高知県立図書館

    Paper
    Call No.：
    007.1-ｼﾌ-2
    Book Registration Number：
    1112035108
    高知県立図書館

Search by Bookstore

Publication bibliographic database Books 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.

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.

Paper

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