計算論入門 : 計算の基本原理理解のために
著者
書誌事項
計算論入門 : 計算の基本原理理解のために
日本評論社, 2001.4
第2刷
- タイトル読み
-
ケイサンロン ニュウモン : ケイサン ノ キホン ゲンリ リカイ ノ タメ ニ
並立書誌 全1件
-
-
計算論入門 : 計算の基本原理理解のために / 渡辺治, 米崎直樹著
BN16106301
-
計算論入門 : 計算の基本原理理解のために / 渡辺治, 米崎直樹著
大学図書館所蔵 件 / 全22件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
piiiに追記あり
参考文献について: p206-207
内容説明・目次
内容説明
計算可能性の理論の先駆者たちの提唱した定義は、見た目にはまったく異なるものだった。本書では、そのうちの代表的な3つの表現、すなわち、計算の機械的な表現、帰納的関数による計算の表現、そしてラムダ計算による計算の表現、について述べる。これら3つの異なる観点で計算を表現し、その特徴を認識する。
目次
- 1 プログラムによる計算の表現
- 2 チューリング機械による計算の表現
- 3 帰納的関数による計算の表現
- 4 ラムダ計算による計算の表現
- 5 並列・並行・分散計算の表現
「BOOKデータベース」 より