From Logic to Logic Programming (Foundations of Computing) pdf epub mobi txt 电子书 下载 2024


From Logic to Logic Programming (Foundations of Computing)

简体网页||繁体网页
Kees Doets
The MIT Press
1994-01-11
228
USD 48.00
Hardcover
Foundations of Computing
9780262041423

图书标签: 计算机科学  programming  pl  logic  Prolog  Programming  Logic_Programming  LP   


喜欢 From Logic to Logic Programming (Foundations of Computing) 的读者还喜欢




点击这里下载
    


想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-25

From Logic to Logic Programming (Foundations of Computing) epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

From Logic to Logic Programming (Foundations of Computing) epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

From Logic to Logic Programming (Foundations of Computing) pdf epub mobi txt 电子书 下载 2024



图书描述

This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming. Advanced topics such as recursive complexity and negation as failure and its semantics are covered, and streamlined setups for SLD- and SLDNF-resolution are described.No other book treats this material in such detail and with such sophistication. Doets provides a novel approach to resolution that is applied to the first-order case and the case of (positive) logic programs. In contrast to the usual approach, the concept of a resolvent is defined nonconstructively, without recourse to the concept of unification, allowing the soundness and completeness proofs to be carried out in a more economic way. Other new material includes computability results dealing with analytical hierarchy, results on infinite derivations and an exposition on general logic programs using 3-valued logic.

From Logic to Logic Programming (Foundations of Computing) 下载 mobi epub pdf txt 电子书

著者简介


图书目录


From Logic to Logic Programming (Foundations of Computing) pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

评分

评分

评分

评分

读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

From Logic to Logic Programming (Foundations of Computing) pdf epub mobi txt 电子书 下载 2024


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有