計算モデルとプログラミング
著者
書誌事項
計算モデルとプログラミング
森北出版, 2019.4
- タイトル読み
-
ケイサン モデル ト プログラミング
電子リソースにアクセスする 全1件
-
-
計算モデルとプログラミング
2019.4.
-
計算モデルとプログラミング
大学図書館所蔵 件 / 全98件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[207]-209
内容説明・目次
内容説明
様々な計算モデルを通して、プログラミング言語のメカニズムを解き明かす。
目次
- 第1章 計算の世界と計算モデル
- 第2章 抽象機械型計算モデル
- 第3章 命令型計算モデル
- 第4章 関数型計算モデル—帰納的関数
- 第5章 関数型計算モデル—ラムダ計算
- 第6章 論理型計算モデル
- 付録A 数学の準備
- 付録B チューリング機械シミュレータ
- 付録C レジスタ機械シミュレータ
「BOOKデータベース」 より