計算論入門~計算の基本原理理解のために~
渡辺 治, 米崎 直樹 著
内容
目次
1 プログラムによる計算の表現 2 チューリング機械による計算の表現 3 帰納的関数による計算の表現 4 ラムダ計算による計算の表現 5 並列・平行・分散計算の表現
カート
カートに商品は入っていません。