本ページはアフィリエイトプログラムによる収益を得ています
- Amazon.co.jp ・本 (211ページ)
- / ISBN・EAN: 9784535782402
作品紹介・あらすじ
計算可能性の理論の先駆者たちの提唱した定義は、見た目にはまったく異なるものだった。本書では、そのうちの代表的な3つの表現、すなわち、計算の機械的な表現、帰納的関数による計算の表現、そしてラムダ計算による計算の表現、について述べる。これら3つの異なる観点で計算を表現し、その特徴を認識する。