計算理論

Author(s)

• Dewdney, Alexander Keewatin
• 足立, 暁生 アダチ, アケオ

Bibliographic Information

計算理論

（チューリングオムニバス : コンピュータサイエンスへの旅 / A. K. デュードニー著 ; 足立暁生訳, 第2巻）

東京電機大学出版局, 1993.2

Other Title

The turing omnibus

Title Transcription

ケイサン リロン

Note

参考文献: 各章末

Description and Table of Contents

Table of Contents

• ゲーデルの定理
• 乱数
• 時間計算量と記憶域計算量
• ランダムアクセス機械
• 非決定性
• チューリング機械
• 充足可能性
• 計算可能でない関数
• ＮＰ完全性
• クックの定理
• 万能チューリング機械
• ＮＰ完全問題
• 停止問題
• 語の問題
• チャーチの提唱

by "BOOK database"

Details

• NCID: BN09020181
• ISBN:
  • 9784501519605
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: x, 155p
• Size: 21cm
• Classification:
  • NDC8 : 007.1
  • NDC8 : 007
  • NDC7 : 401
  • NDLC : M121
• Subject Headings:
  • BSH : 情報科学
  • BSH : 電子計算機
  • NDLSH : 計算量理論
• Parent Bibliography ID:
  • BN09019331