計算論入門 : 計算の基本原理理解のために

Author(s)

Bibliographic Information

計算論入門 : 計算の基本原理理解のために

渡辺治, 米崎直樹著

日本評論社, 1997.3

Title Transcription

ケイサンロン ニュウモン : ケイサン ノ キホン ゲンリ リカイ ノ タメ ニ

Available at  / 104 libraries

Note

参考文献について: p206-207

索引: p208-211

Description and Table of Contents

Description

計算可能性の理論の先駆者たちの提唱した定義は、見た目にはまったく異なるものだった。本書では、そのうちの代表的な３つの表現、すなわち、計算の機械的な表現、帰納的関数による計算の表現、そしてラムダ計算による計算の表現、について述べる。これら３つの異なる観点で計算を表現し、その特徴を認識する。

Table of Contents

  • １　プログラムによる計算の表現
  • ２　チューリング機械による計算の表現
  • ３　帰納的関数による計算の表現
  • ４　ラムダ計算による計算の表現
  • ５　並列・並行・分散計算の表現

by "BOOK database"

Details

  • NCID
    BN16106301
  • ISBN
    • 4535782407
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    v, 211p
  • Size
    21cm
  • Classification
  • Subject Headings
Page Top