プログラミング言語の新潮流

プログラミング言語の新潮流
著者 井田 哲雄
シリーズ 情報・コンピュータ  > 計算機科学/ソフトウェア技術講座 2
発売日 1988/05/05
ISBN 9784320023772
体裁 276頁
定価 3,300円 (本体3,000円 + 税10%)
  • この本の
    内容
  • 目次
形式的論理体系に基づく新しいプログラミング言語を、その基礎理論からプログラミング方法論にわたり、実際の言語をとりあげながら解説した。
第1章 序論

第2章 ラムダ計算

第3章 S‐表現に基づくプログラミング言語

第4章 Scheme―ラムダ計算と手続型言語との接点

第5章 LISP

第6章 ラムダ計算に基づく関数型言語

第7章 FP―関数レベルでのプログラミング言語

第8章 論理型言語の計算モデルとしての一階述語論理

第9章 Prolog

第10章 型付きプログラミング言語

Shopping
ご注文

3,300円
(本体3,000円 + 税10%)

ネット書店で購入