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

De amor y de sombra
De amor y de sombra

Allende Isabel
Eva luna
Eva luna

Allende Isabel
Mi pais inventado
Mi pais inventado

Allende Isabel
Paula
Paula

Allende Isabel
El zorro
El zorro

Allende Isabel
A regola d'arte vol. c
A regola d'arte vol. c

G. Aloisi, M.t. Caburosso
Dinamica ambientale. Scienze della natura. Per il biennio degli Ist. Tecnici commerciali vol.2
Dinamica ambientale. Scienze della natur...

Eugenia Aloj Totaro, Bartolomeo Russo
SOS terra. Per gli Ist. Tecnici
SOS terra. Per gli Ist. Tecnici

Eugenia Aloj Totaro, Bartolomeo Russo, Gaetano Lena