計算モデルの基礎理論

著者

書誌事項

計算モデルの基礎理論

井田哲雄 [著]

（岩波講座ソフトウェア科学 / 長尾真 [ほか] 編, 12）

岩波書店, 1991.3

タイトル読み

ケイサン モデル ノ キソ リロン

大学図書館所蔵 件 / 全357件

この図書・雑誌をさがす

注記

参考書: p379-381

内容説明・目次

内容説明

いかに複雑なソフトウエアも単純な計算の原理に基づいている。本書はプログラミング言語の基礎を与える計算のモデルについて、機械モデル、関数モデル、論理モデル、書換えモデル、代数モデルを取りあげ、詳細に解説した。

目次

  • 計算モデルへの招待
  • 機械モデル
  • 関数モデル（帰納的関数；ラムダ計算）
  • 論理モデル
  • 書換えモデル
  • 代数モデル

「BOOKデータベース」 より

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ