計算モデルの基礎理論
Author(s)
Bibliographic Information
計算モデルの基礎理論
(岩波講座ソフトウェア科学 / 長尾真 [ほか] 編, 12)
岩波書店, 1991.3
- Title Transcription
-
ケイサン モデル ノ キソ リロン
Available at / 357 libraries
-
University of Tsukuba Library, Library on Library and Information Science
007.63:I-95:12960018630
-
The University of Electro-Communications Library研
548.96/I95/122219206163,2219510568,2219100890,2219101966,2219808552
-
Tokyo Metropolitan College of Industrial Thechnology Shinagawa Library
12007.63/N17/12100006709
-
Tohoku Institute of Technology Library
N1:418.600||AT:I||KN:012,N1:548.963||AT:I||KN:0121910044,1912278
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考書: p379-381
Description and Table of Contents
Description
いかに複雑なソフトウエアも単純な計算の原理に基づいている。本書はプログラミング言語の基礎を与える計算のモデルについて、機械モデル、関数モデル、論理モデル、書換えモデル、代数モデルを取りあげ、詳細に解説した。
Table of Contents
- 計算モデルへの招待
- 機械モデル
- 関数モデル(帰納的関数;ラムダ計算)
- 論理モデル
- 書換えモデル
- 代数モデル
by "BOOK database"