図書
書影

計算理論の基礎 2 (計算可能性の理論)

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

計算理論の基礎. 2 (計算可能性の理論)

国立国会図書館請求記号
M121-J28
国立国会図書館書誌ID
000009366067
資料種別
図書
著者
Michael Sipser 著ほか
出版者
共立出版
出版年
2008.5
資料形態
ページ数・大きさ等
p160-292, 48p ; 21cm
NDC
007.1
すべて見る

資料に関する注記

一般注記:

原タイトル: Introduction to the theory of computation. (2nd ed.)

資料詳細

要約等:

MIT屈指の名講義の講義ノートをまとめた書(提供元: 出版情報登録センター(JPRO))

書店で探す

目次

  • 3 Church-Turingの提唱

  • 4 判定可能性

  • 5 帰着可能性

  • 6 計算可能性の理論における先進的な話題

全国の図書館の所蔵

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

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

北日本

関東

書店で探す

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

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

書誌情報

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

資料種別
図書
ISBN
978-4-320-12208-6
タイトルよみ
ケイサン リロン ノ キソ
巻次・部編番号
2 (計算可能性の理論)
著者・編者
Michael Sipser 著
太田和夫, 田中圭介 監訳
阿部正幸, 植田広樹, 藤岡淳, 渡辺治 訳
著者標目
太田, 和夫, 1954- オオタ, カズオ, 1954- ( 00378165 )典拠
田中, 圭介 タナカ, ケイスケ ( 01128478 )典拠
阿部, 正幸 アベ, マサユキ ( 00804843 )典拠
植田, 広樹 ウエダ, ヒロキ ( 01128479 )典拠
藤岡, 淳 フジオカ, アツシ ( 00989588 )典拠
出版年月日等
2008.5
出版年(W3CDTF)
2008