計算モデルとプログラミング

著者

書誌事項

計算モデルとプログラミング

猪股俊光, 山田敬三共著

森北出版, 2019.4

タイトル読み

ケイサン モデル ト プログラミング

大学図書館所蔵 件 / 全98件

この図書・雑誌をさがす

注記

参考文献: p[207]-209

内容説明・目次

内容説明

様々な計算モデルを通して、プログラミング言語のメカニズムを解き明かす。

目次

  • 第１章　計算の世界と計算モデル
  • 第２章　抽象機械型計算モデル
  • 第３章　命令型計算モデル
  • 第４章　関数型計算モデル—帰納的関数
  • 第５章　関数型計算モデル—ラムダ計算
  • 第６章　論理型計算モデル
  • 付録Ａ　数学の準備
  • 付録Ｂ　チューリング機械シミュレータ
  • 付録Ｃ　レジスタ機械シミュレータ

「BOOKデータベース」 より

詳細情報

ページトップへ