計算モデルの基礎理論

Author(s)

• 井田, 哲雄 イダ, テツオ

Bibliographic Information

計算モデルの基礎理論

井田哲雄 [著]

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

岩波書店, 1991.3

Title Transcription

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

Note

参考書: p379-381

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

• NCID: BN06094159
• ISBN:
  • 4000103520
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: xix, 386p
• Size: 23cm
• Classification:
  • NDC8 : 007.63
  • NDLC : M159
• Subject Headings:
  • BSH : 電子計算機
  • NDLSH : 電子計算機
  • NDLSH : プログラミング(電子計算機)
  • NDLSH : 数学基礎論
• Parent Bibliography ID:
  • BN02276369