計算論入門 : 計算の基本原理理解のために
Author(s)
Bibliographic Information
計算論入門 : 計算の基本原理理解のために
日本評論社, 2001.4
第2刷
- Title Transcription
-
ケイサンロン ニュウモン : ケイサン ノ キホン ゲンリ リカイ ノ タメ ニ
Related Bibliography 1 items
-
-
計算論入門 : 計算の基本原理理解のために / 渡辺治, 米崎直樹著
BN16106301
-
計算論入門 : 計算の基本原理理解のために / 渡辺治, 米崎直樹著
Available at / 22 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
piiiに追記あり
参考文献について: p206-207
Description and Table of Contents
Description
計算可能性の理論の先駆者たちの提唱した定義は、見た目にはまったく異なるものだった。本書では、そのうちの代表的な3つの表現、すなわち、計算の機械的な表現、帰納的関数による計算の表現、そしてラムダ計算による計算の表現、について述べる。これら3つの異なる観点で計算を表現し、その特徴を認識する。
Table of Contents
- 1 プログラムによる計算の表現
- 2 チューリング機械による計算の表現
- 3 帰納的関数による計算の表現
- 4 ラムダ計算による計算の表現
- 5 並列・並行・分散計算の表現
by "BOOK database"