libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro
ARGOMENTO:  BOOKS > INFORMATICA > TESTI GENERALI

downward m. - logic and declarative language
Zoom

Logic And Declarative Language




Disponibilità: Normalmente disponibile in 20 giorni
A causa di problematiche nell'approvvigionamento legate alla Brexit sono possibili ritardi nelle consegne.


PREZZO
169,98 €
NICEPRICE
161,48 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, Carta della Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Pubblicazione: 03/1998
Edizione: 1° edizione





Note Editore

Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.




Sommario

Part One: Logic Without Equality 1. Propositions 2. First Order Logic 3. Logic Programming Principles 4. Prolog Part Two: Logic With Equality 5. Logic-sorted Abstract Types 6. The Included Middle 7. Miranda 8. Institutional Logic 9. Languages and Databases




Autore

M. Downward










Altre Informazioni

ISBN:

9780748408030

Condizione: Nuovo
Dimensioni: 9.25 x 6.25 in Ø 1.50 lb
Formato: Copertina rigida
Pagine Arabe: 384


Dicono di noi