岩波講座ソフトウェア科学  12

長尾真 ほか編

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

「BOOKデータベース」より

[目次]

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

「BOOKデータベース」より

この本の情報

書名 岩波講座ソフトウェア科学
著作者等 井田 哲雄
書名ヨミ イワナミ コウザ ソフトウェア カガク
書名別名 計算モデルの基礎理論
巻冊次 12
出版元 岩波書店
刊行年月 1991.3
ページ数 386p
大きさ 23cm
ISBN 4000103520
NCID BN06094159
※クリックでCiNii Booksを表示
全国書誌番号
91039022
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本

掲載作品

この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想