計算可能性の理論
著者
書誌事項
計算可能性の理論
(計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳, 2)
共立出版, 2023.5
- タイトル読み
-
ケイサン カノウセイ ノ リロン
電子リソースにアクセスする 全1件
-
-
計算可能性の理論
2023.5.
-
計算可能性の理論
大学図書館所蔵 全123件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
原著第3版の翻訳
その他の訳者: 植田広樹, 太田和夫, 田中圭介, 藤岡淳, 渡辺治
監訳: 田中圭介, 藤岡淳
参考文献: 巻末p[1]-7
欧文索引: 巻末p[9]-24
和文索引: 巻末p[25]-40
内容説明・目次
目次
- 3 Church‐Turingの提唱(Turing機械;Turing機械の変型 ほか)
- 4 判定可能性(判定可能な言語;判定不可能性)
- 5 帰着可能性(言語理論における判定不可能問題 計算履歴を用いた帰着;単純な判定不可能問題 ほか)
- 6 計算可能性の理論における先進的な話題(再帰定理;数理論理における判定可能性 ほか)
「BOOKデータベース」 より