C言語による計算の理論
Author(s)
Bibliographic Information
C言語による計算の理論
（Computer science library, 4）
サイエンス社, 2008.10
- Other Title
-
計算の理論 : C言語による
C言語による計算の理論
- Title Transcription
-
Cゲンゴ ニヨル ケイサン ノ リロン
Available at / 147 libraries
-
University of Tsukuba Library, Library on Library and Information Science
007.1-Ka7610008022812
-
Etchujima library, Tokyo University of Marine Science and Technology工流通情報システム
007.1/Ka76201452406
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p[208]
索引: p[209]-212
Description and Table of Contents
Table of Contents
- 導入
- ジャンププログラム
- 万能関数
- 計算可能・不可能の境界付近
- 原始帰納的関数
- 帰納的部分関数
- 半決定可能集合
- 計算不可能性の度合い
- チューリング機械
- Ｐ≠ＮＰ予想
- ラムダ計算
- チューリング機械シミュレータ
- ラムダ計算の定理の詳細な証明
by "BOOK database"
