|
C言語による計算の理論
鹿島亮 著
[目次]
- 導入
- ジャンププログラム
- 万能関数
- 計算可能・不可能の境界付近
- 原始帰納的関数
- 帰納的部分関数
- 半決定可能集合
- 計算不可能性の度合い
- チューリング機械
- P≠NP予想
- ラムダ計算
- チューリング機械シミュレータ
- ラムダ計算の定理の詳細な証明
「BOOKデータベース」より
|
書名 |
C言語による計算の理論 |
著作者等 |
鹿島 亮
|
書名ヨミ |
C ゲンゴ ニ ヨル ケイサン ノ リロン |
シリーズ名 |
Computer science library 4
|
出版元 |
サイエンス社 |
刊行年月 |
2008.10 |
ページ数 |
212p |
大きさ |
22cm |
ISBN |
978-4-7819-1214-1
|
NCID |
BA87291019
※クリックでCiNii Booksを表示
|
全国書誌番号
|
21500311
※クリックで国立国会図書館サーチを表示
|
言語 |
日本語 |
出版国 |
日本 |
この本を:
|
件が連想されています
|