図書

計算理論の基礎

図書を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

計算理論の基礎

国立国会図書館請求記号
M121-G223
国立国会図書館書誌ID
000002877170
資料種別
図書
著者
Michael Sipser 著ほか
出版者
共立出版
出版年
2000.4
資料形態
ページ数・大きさ等
483p ; 25cm
NDC
007.1
すべて見る

資料に関する注記

一般注記:

原タイトル: Introduction to the theory of computation

資料詳細

要約等:

計算機理論の学部上級~大学院での教科書(提供元: 出版情報登録センター(JPRO))

書店で探す

目次

  • 0章 序論

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

  • 0.2 数学的概念や用語

  • 0.3 定義,定理,証明

  • 0.4 証明のタイプ

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

北日本

関東

  • 東京工業大学リサーチリポジトリ

    連携先のサイトで、学術機関リポジトリデータベース(IRDB)(機関リポジトリ)が連携している機関・データベースの所蔵状況を確認できます。
  • 東京工業大学リサーチリポジトリ

    連携先のサイトで、学術機関リポジトリデータベース(IRDB)(機関リポジトリ)が連携している機関・データベースの所蔵状況を確認できます。
  • CiNii Research

    検索サービス
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
4-320-02948-8
タイトルよみ
ケイサン リロン ノ キソ
著者・編者
Michael Sipser 著
渡辺治, 太田和夫 監訳
阿部正幸 [ほか]訳
著者標目
渡辺, 治, 1958- ワタナベ, オサム, 1958- ( 00254718 )典拠
太田, 和夫, 1954- オオタ, カズオ, 1954- ( 00378165 )典拠
阿部, 正幸 アベ, マサユキ ( 00804843 )典拠
出版年月日等
2000.4
出版年(W3CDTF)
2000
数量
483p