計算モデルの基礎理論
著者
書誌事項
計算モデルの基礎理論
(岩波講座ソフトウェア科学 / 長尾真 [ほか] 編, 12)
岩波書店, 1991.3
- タイトル読み
-
ケイサン モデル ノ キソ リロン
大学図書館所蔵 全357件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考書: p379-381
内容説明・目次
内容説明
いかに複雑なソフトウエアも単純な計算の原理に基づいている。本書はプログラミング言語の基礎を与える計算のモデルについて、機械モデル、関数モデル、論理モデル、書換えモデル、代数モデルを取りあげ、詳細に解説した。
目次
- 計算モデルへの招待
- 機械モデル
- 関数モデル(帰納的関数;ラムダ計算)
- 論理モデル
- 書換えモデル
- 代数モデル
「BOOKデータベース」 より