書籍詳細：関数プログラミング
シリーズ：情報数学セミナー
関数プログラミング
- 紙の書籍
定価：税込 3,190円（本体価格 2,900円）
在庫なし
- 発刊年月
- 1998.03
- 旧ISBN
- 4-535-60817-2
- ISBN
- 978-4-535-60817-7
- 判型
- Ａ５判
- ページ数
- 242ページ
- Cコード
- C3341
- ジャンル
只今、在庫が不足しており納期が確定できないため、
オンラインでの受付ができません。
オンラインでの受付ができません。
紙の書籍のご購入
内容紹介
通常の数学との連続性を保つために再帰的関数を用い、計算の形式的な記述について解説する。プログラミング言語の知識は仮定しないが、最終的には、帰納的関数からLispにたどりつく。
目次
●目次
第１章 再帰的関数
第２章 簡約
第３章 種々の再帰的定義
第４章 帰納的定義
第５章 リスト
第６章 高階関数
第７章 S式
第８章 Lisp
第９章 Lispプログラミング
第10章 帰納的述語
第11章 型のはなし
付録A Boomborg-red
付録B Lisp
付録C Scheme
付録D ML
付録E Prolog
第１章 再帰的関数
第２章 簡約
第３章 種々の再帰的定義
第４章 帰納的定義
第５章 リスト
第６章 高階関数
第７章 S式
第８章 Lisp
第９章 Lispプログラミング
第10章 帰納的述語
第11章 型のはなし
付録A Boomborg-red
付録B Lisp
付録C Scheme
付録D ML
付録E Prolog
