ソフトウェアサイエンスシリーズ 論理プログラミングの基礎

ロイド，Ｊ．Ｗ．【著】〈Ｌｌｏｙｄ，Ｊ．Ｗ．〉/佐藤 雅彦/森下 真一【訳】

産業図書（1987/06発売）

• サイズ A5判／ページ数 149p／高さ 22X16cm
• 商品コード 9784782850039
• NDC分類 007.64

内容説明

本書は、論理プログラミングの数学的基礎をとりあげた初の解説書であり、過去においては、個々の研究論文を広く探し求めなければ得られなかった基本となる理論的成果を、統合的かつ網羅的に整理することを目指して著わされている。必要となる知識は完備するよう配慮されており、ＰＲＯＬＯＧに関して若干親しんでいることと、大学卒業程度の基本的な数学の知識を備えていることが前提とされるのみである。

目次

第１章　宣言的意味論
第２章　手続き的意味論
第３章　否定
第４章　無限に続くプロセス