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