図書

計算理論の基礎 2

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

計算理論の基礎. 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.:

MIT屈指の名講義“Theory of Computation”をまとめた教科書。2分冊目は、計算可能性の理論について解説。(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

Tokai/Hokuriku

  • 石川県立図書館

    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 Transcription
ケイサン リロン ノ キソ
Volume
2
Author/Editor
Michael Sipser 著
田中圭介, 藤岡淳 監訳
阿部正幸 [ほか] 訳
Author Heading
訳者 : 田中, 圭介 タナカ, ケイスケ ( 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