書籍詳細:関数プログラミング

シリーズ:情報数学セミナー

関数プログラミング

の画像の画像
  • 萩谷 昌己
  • 紙の書籍
定価:税込 3,132円(本体価格 2,900円)
在庫なし
発刊年月
1998.03
旧ISBN
4-535-60817-2
ISBN
978-4-535-60817-7
判型
A5判
ページ数
242ページ
Cコード
C3341
ジャンル

内容紹介

通常の数学との連続性を保つために再帰的関数を用い、計算の形式的な記述について解説する。プログラミング言語の知識は仮定しないが、最終的には、帰納的関数からLispにたどりつく。

目次

●目次
第1章 再帰的関数
第2章 簡約
第3章 種々の再帰的定義
第4章 帰納的定義
第5章 リスト
第6章 高階関数
第7章 S式
第8章 Lisp
第9章 Lispプログラミング
第10章 帰納的述語
第11章 型のはなし
付録A Boomborg-red
付録B Lisp
付録C Scheme
付録D ML
付録E Prolog