計算モデルの基礎理論
著者
書誌事項
計算モデルの基礎理論
(岩波講座ソフトウェア科学 / 長尾真 [ほか] 編, 12)
岩波書店, 1991.3
- タイトル読み
-
ケイサン モデル ノ キソ リロン
大学図書館所蔵 件 / 全357件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考書: p379-381
内容説明・目次
内容説明
いかに複雑なソフトウエアも単純な計算の原理に基づいている。本書はプログラミング言語の基礎を与える計算のモデルについて、機械モデル、関数モデル、論理モデル、書換えモデル、代数モデルを取りあげ、詳細に解説した。
目次
- 計算モデルへの招待
- 機械モデル
- 関数モデル(帰納的関数;ラムダ計算)
- 論理モデル
- 書換えモデル
- 代数モデル
「BOOKデータベース」 より