C言語による計算の理論
著者
書誌事項
C言語による計算の理論
(Computer science library, 4)
サイエンス社, 2008.10
- タイトル別名
-
計算の理論 : C言語による
C言語による計算の理論
- タイトル読み
-
Cゲンゴ ニヨル ケイサン ノ リロン
大学図書館所蔵 件 / 全147件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[208]
索引: p[209]-212
内容説明・目次
目次
- 導入
- ジャンププログラム
- 万能関数
- 計算可能・不可能の境界付近
- 原始帰納的関数
- 帰納的部分関数
- 半決定可能集合
- 計算不可能性の度合い
- チューリング機械
- P≠NP予想
- ラムダ計算
- チューリング機械シミュレータ
- ラムダ計算の定理の詳細な証明
「BOOKデータベース」 より