論理プログラミングの基礎

著者

書誌事項

論理プログラミングの基礎

J.W. ロイド著 ; 佐藤雅彦, 森下真一訳

（ソフトウェアサイエンスシリーズ）

産業図書, 1987.6

タイトル別名

Foundations of logic programming

タイトル読み

ロンリ プログラミング ノ キソ

電子リソースにアクセスする 全1件

大学図書館所蔵 件 / 全119件

この図書・雑誌をさがす

注記

参考文献: p[131]-136

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ