この商品をご覧のお客様は、こんな商品もチェックしています。
- ルポ無縁遺骨 誰があなたを引き取るか
-
価格:1,760円(本体1,600円+税)
【2023年11月発売】
- Visual Studio Code実践ガイド 改訂新版
-
価格:3,520円(本体3,200円+税)
【2024年02月発売】
- これからの教育社会学
-
価格:2,310円(本体2,100円+税)
【2023年01月発売】
- 環境投資のジレンマ
-
価格:2,420円(本体2,200円+税)
【2024年01月発売】
- 平和と美の使者として
-
価格:2,200円(本体2,000円+税)
【2023年10月発売】
[BOOKデータベースより]
本書は、論理プログラミングの数学的基礎をとりあげた初の解説書であり、過去においては、個々の研究論文を広く探し求めなければ得られなかった基本となる理論的成果を、統合的かつ網羅的に整理することを目指して著わされている。必要となる知識は完備するよう配慮されており、PROLOGに関して若干親しんでいることと、大学卒業程度の基本的な数学の知識を備えていることが前提とされるのみである。
第1章 宣言的意味論
第2章 手続き的意味論
第3章 否定
第4章 無限に続くプロセス