Dettaglio del documento
Logica: metodo breve
Abstract
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.
- Lo trovi in
- Scheda
Biblioteca
Informazioni sui servizi:
Richiesta di consultazione:
Il servizio di consultazione in loco è erogabile a tutti gli Utenti (sia interni che esterni all'Ateneo)
previa iscrizione ai servizi bibliotecari.
Il servizio è sospeso nei 15 minuti antecedenti la chiusura della biblioteca.
Possono essere richiesti in consultazione un massimo di 3 documenti contemporaneamente.
Documento per sola consultazione interna
Collocazione
CONS 03-XX 2940 I