計算モデル論入門

書影

Information Science & Engineering-F  5

計算モデル論入門

チューリング機械からラムダ計算へ
定価:
1,540
(本体:1,400円+税)
難易度:入門

発行日:2006年8月10日

発行:サイエンス社

ISBN:978-4-7819-1135-9

サイズ:並製A5

ページ数:136ページ

在庫:在庫あり

内容詳細

ソフトウェアを動作させる計算の原理を数学的なモデルで理解することを目標とした.本書で得られる知識は,計算の可能性と限界を知る上で役に立つとともに,ソフトウェアの構築法の基本を学ぶのに役に立つであろう.2色刷.

目次

第1章 序-計算の考え方
  1.1 計算のための機械
  1.2 計算可能性の概念

第2章 準備
  2.1 集合
  2.2 関係
  2.3 関数
  2.4 命題
  2.5 証明方法

第3章 有限オートマトンとチューリング機械
  3.1 計算機械のモデル化
  3.2 有限状態機械と有限オートマトン
  3.3 プッシュダウン・オートマトン
  3.4 チューリング機械

第4章 プログラミング言語L
  4.1 言語Lのプログラム
  4.2 マクロ
  4.3 言語Lの抽象計算機ML

第5章 帰納関数
  5.1 帰納関数の考え方
  5.2 初期関数
  5.3 合成
  5.4 原始帰納
  5.5 帰納関数による述語と論理結合子の実現
  5.6 最小化

第6章 抽象書換系
  6.1 抽象書換系とは
  6.2 合流性
  6.3 ニューマンの補題
  6.4 書換と同値関係

第7章 ラムダ計算
  7.1 ラムダ計算の言語
  7.2 λ項の意味
  7.3 β簡約
  7.4 全域帰納関数のλ定義
  7.5 帰納関数のλ定義

付録A ラムダ計算の合流性
参考文献
索引

サポート情報

その他


Information Science & Engineering-F 5
「計算モデル論入門」サポートページ



■ 著者サポートページ

関連書籍

情報科学の基礎

山崎秀記

2,090円(税込)

入門
確率入門

玉木久夫

1,430円(税込)

入門
形式言語とオートマトン

守屋悦朗

2,090円(税込)

中級