計算理論
著者
書誌事項
計算理論
(チューリングオムニバス : コンピュータサイエンスへの旅 / A. K. デュードニー著 ; 足立暁生訳, 第2巻)
東京電機大学出版局, 1993.2
- タイトル別名
-
The turing omnibus
- タイトル読み
-
ケイサン リロン
大学図書館所蔵 全144件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: 各章末
内容説明・目次
目次
- ゲーデルの定理
- 乱数
- 時間計算量と記憶域計算量
- ランダムアクセス機械
- 非決定性
- チューリング機械
- 充足可能性
- 計算可能でない関数
- NP完全性
- クックの定理
- 万能チューリング機械
- NP完全問題
- 停止問題
- 語の問題
- チャーチの提唱
「BOOKデータベース」 より