[ ショップ名 ] HMV&BOOKS online 1号店

---

[ 現在価格 ] 3520 円 (税込)

---

[ PRポイント ]

---

[ 商品説明 ]

出荷目安の詳細はこちら内容詳細様々な計算モデルを通して、プログラミング言語のメカニズムを解き明かす。目次 : 第1章　計算の世界と計算モデル/ 第2章　抽象機械型計算モデル/ 第3章　命令型計算モデル/ 第4章　関数型計算モデル—帰納的関数/ 第5章　関数型計算モデル—ラムダ計算/ 第6章　論理型計算モデル/ 付録A　数学の準備/ 付録B　チューリング機械シミュレータ/ 付録C　レジスタ機械シミュレータ