€ 28.75€ 29.95
    Risparmi: € 1.20 (4%)
Normalmente disponibile in 9/10 giorni lavorativi
Spedizione a 1€Spedizione con Corriere a 1€Scopri come
Punti di ritiroScegli il punto di consegnae ritira quando vuoiScopri come

Ne hai uno usato?
Vendilo!
Logic. A brief course

Logic. A brief course

di Daniele Mundici


Normalmente disponibile in 9/10 giorni lavorativi
  • Editore: Springer Verlag
  • Collana: Unitext
  • Data di Pubblicazione: gennaio 2012
  • EAN: 9788847023604
  • ISBN: 8847023602
  • Pagine: 136
  • Formato: brossura

Questo articolo è acquistabile
con il Bonus Cultura "18app"

Descrizione del libro

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.


Ultimi prodotti visti