Logica. Metodo breve di Mundici Daniele - Bookdealer | I tuoi librai a domicilio
Menu principale

Con ogni acquisto su Bookdealer sostieni una libreria indipendente del territorio.

Logica. Metodo breve
Mundici Daniele

Logica. Metodo breve

Editore: Springer Verlag

Reparto: Matematica

ISBN: 9788847018839

Data di pubblicazione: 10/02/2011

Numero pagine: XI-126

Collana: Unitext


29,11€
Esaurito

Sinossi

In questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Godel per la logica di Boole. Il lettore incontrerà qui altre idee chiave della logica: una sintassi non ambigua, la risoluzione, la procedura di Davis-Putnam, la semantica di Tarski, l'equivalenza e la conseguenza logica, i modelli di Herbrand, gli assiomi dell'eguaglianza, le forme normali di Skolem, le refutazioni come oggetti grafici, e la costruzione di alcuni modelli non-standard. I prerequisiti matematici sono minimi: il testo è accessibile a chiunque abbia già visto qualche dimostrazione per induzione. Il manuale può essere usato come sussidiario per un primo corso di Logica Matematica per matematici e per informatici. Parti del testo possono essere di appoggio in un corso di Logica per filosofi e linguisti, soprattutto per i numerosi esercizi, mai troppo difficili, di collegamento tra logica e linguaggio naturale.

Altro

Corso di marketing
41,00 €
Si fa attendere

Prodotti Correlati


Mostra altri

Recensioni dei lettori


5% di sconto sul tuo primo ordine

Registrati gratuitamente e ottieni subito un codice sconto per il tuo primo acquisto.