Contacto
Como comprar
Entrega
Guia de compras
Clausal Theory of Types
Inglês
97 b
Até 30 dias para devoluções
Os clientes também compraram
/
Adobe ePub DRM
65.64
€
/
Capa mole
12.74
€
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Gödel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest to all working in declarative programming.
Sobre o livro
Inglês
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
64.93
€
/
Capa mole
11.93
€
/
Capa mole
18.70
€
/
Livro de capa dura
12.03
€
/
Livro de capa dura
1 073.88
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?