Logica. Metodo breve

Logica. Metodo breve

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.
Al momento non disponibile, ordinabile in 3 settimane circa

Dettagli Libro

Libri che ti potrebbero interessare

Elegie
Elegie

Sesto Properzio, F. Brindesi
Dizionario di cosmetologia. Mille termini cosmetici dalla A alla Z
Dizionario di cosmetologia. Mille termin...

Elena Racchini, Gianni Proserpio
Manuale di cosmetologia. Per tutti i professionisti della bellezza
Manuale di cosmetologia. Per tutti i pro...

Elena Racchini, Gianni Proserpio
Il sogno di un impero
Il sogno di un impero

Proserpio Paolo
Tricologia cosmetologica
Tricologia cosmetologica

Gianni Proserpio
Facciamo matematica. Le nuove scienze. Informatica. Floppy Disk. Per la Scuola media
Facciamo matematica. Le nuove scienze. I...

Battista Isonni, Loredana Prosperini
Al dia. Curso inicial. Ejercicios. Per gli Ist. tecnici e professionali. Con CD Audio
Al dia. Curso inicial. Ejercicios. Per g...

Alfredo Noriega, Gisele Prost
Al dia. Curso superior. Ejercicios. Per gli Ist. tecnici e professionali. Con CD
Al dia. Curso superior. Ejercicios. Per ...

Blanca Aguirre, Julio Larru, Jose Maria Tomas
Al dia. Curso inicial. Libro del alumno. Per gli Ist. tecnici e professionali. Con CD Audio
Al dia. Curso inicial. Libro del alumno....

Alfredo Noriega, Gisele Prost
Al dia. Curso superior. Per gli Ist. tecnici e professionali. Con CD
Al dia. Curso superior. Per gli Ist. tec...

Blanca Aguirre, Julio Larru, Jose Maria Tomas