libreria specializzata in arte e architettura
english

email/login

password

ricordami su questo computer

invia


Hai dimenticato la tua password?
inserisci il tuo email/login qui sotto e riceverai la password all'indirizzo indicato.

invia

chiudi

FB twitter googleplus
ricerca avanzata

chiudi

OFFERTA DEL GIORNO

Raffaello 1520-1483.

Roma, Scuderie del Quirinale, 5 marzo - 2 giugno 2020.
A cura di Marzia Faietti, Faietti M., Lafranconi M. e Matteo Lafranconi.
Milano, 2020; br., pp. 544, 400 ill. col., cm 22x28.
(Cataloghi di Arte Antica).

prezzo di copertina: € 46.00

Raffaello 1520-1483.

Costo totale: € 46.00 € 146.80 aggiungi al carrello carrello

Libri compresi nell'offerta:

Da Raffaello a Goya... da Van Gogh a Picasso. 50 dipinti dal Museu de Arte di San Paolo del Brasile

Trento, Palazzo delle Albere, 18 settembre - 15 novembre 1987.
A cura di Camesasca E.
Milano, 1987; br., pp. 240, ill. b/n e col., tavv., cm 23x27.
(Grandi Mostre).

OMAGGIO (prezzo di copertina: € 25.00)

Da Raffaello a Goya... da Van Gogh a Picasso. 50 dipinti dal Museu de Arte di San Paolo del Brasile

Alla mensa del Signore. Capolavori della pittura europea da Raffaello a Tiepolo

A cura di Giovanni Morello.
Roma, 2011; br., pp. 256, ill. b/n, 111 tavv. col., cm 24x28.

OMAGGIO (prezzo di copertina: € 35.00)

Alla mensa del Signore. Capolavori della pittura europea da Raffaello a Tiepolo

Raffaello

Milano, 1990; br., pp. 118, ill. col., tavv. col., cm 23x27.
(Grandi Tascabili Economici. 0009.).

OMAGGIO (prezzo di copertina: € 15.00)

Raffaello

Miseria e nobiltà. Gaetano Costa, la cucina dei contrasti

Milano, 2013; br., pp. 128, ill., cm 15x19.
(Chef!).

OMAGGIO (prezzo di copertina: € 12.90)

Miseria e nobiltà. Gaetano Costa, la cucina dei contrasti

La cucina vip. Alessandro Circiello, le ricette per le star

Milano, 2013; br., pp. 128, ill., cm 15x19.
(Chef!).

OMAGGIO (prezzo di copertina: € 12.90)

La cucina vip. Alessandro Circiello, le ricette per le star

chiudi

First Order Predicate Calculus and Logic Programming

Aracne Editrice

Testo Inglese.
Roma, 2014; br., pp. 140, cm 17x24.

ISBN: 88-548-6790-X - EAN13: 9788854867901

Testo in: testo in  inglese  

Peso: 0.28 kg


This book introduces the reader to the first order predicate calculus and the basic notions of logic programming. We present the axioms and the inference rules of the first order predicate calculus according to two different styles: (i) the classical style à la Hilbert, and (ii) the Natural Deduction style à la Gentzen. We also present the semantics of this calculus by following Tarski's approach. The theorems by Skolem, Herbrand, and Robinson are the three steps which lead the reader to the theory of logic programming. We first consider the class of definite logic programs and for these programs we give the model-theoretic, the fixpoint, and the operational semantics. These three semantics provide a way of deriving positive information from definite logic programs. We then consider the issue of deriving negative information from logic programs and we present the negation-as-failure rule, the theory of normal programs, and the theory of programs which can be any first order predicate calculus formula. In this book we also consider the first order predicate calculus with equality, we introduce Peano Arithmetic, and we briefly illustrate Gödel's Completeness and Incom­pleteness theorems.

COMPRA ANCHE



OFFERTE E PROMOZIONI

design e realizzazione: Vincent Wolterbeek / analisi e programmazione: Rocco Barisci