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

Author(s)

• 猪股, 俊光 イノマタ, トシミツ
• 山田, 敬三 ヤマダ, ケイゾウ

Bibliographic Information

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

猪股俊光, 山田敬三共著

森北出版, 2019.4

Title Transcription

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

Access to Electronic Resource 1 items

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

  2019.4.

  Maruzen eBook Library

Note

参考文献: p[207]-209

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

• NCID: BB28106825
• ISBN:
  • 9784627854710
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vii, 212p
• Size: 22cm
• Classification:
  • NDC8 : 007.1
  • NDC9 : 007.1
  • NDC10 : 007.1
  • NDLC : M121
• Subject Headings:
  • BSH : オートマトン
  • BSH : プログラミング(コンピュータ)