Jump to main content

図書

計算理論の基礎 1

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

計算理論の基礎. 1

Call No. (NDL)
M121-M617
Bibliographic ID of National Diet Library
032756517
Material type
図書
Author
Michael Sipser 著ほか
Publisher
共立出版
Publication date
2023.4
Material Format
Paper
Capacity, size, etc.
194,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）

  • 第0章　序論

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

  • 0.2　数学的概念や用語

  • 0.3　定義，定理，証明

  • 0.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-1
    Book Registration Number：
    305597098
    福島県立図書館

Kanto

Tokai-Hokuriku

  • 岐阜県図書館

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

  • 三重県立図書館

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

  • 愛媛県立図書館

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

  • 高知県立図書館

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

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-12561-2
Title
計算理論の基礎
Title Transcription
ケイサン リロン ノ キソ
Volume
1
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.4
Publication Date (W3CDTF)
2023