- Libreria
- >
- Libri
- >
- Matematica e scienze
- >
- Logica matematica
- >
- Logica. Metodo breve
Logica. Metodo breve - 978884701883
di Daniele Mundici edito da Springer Verlag, 2011
- € 25.95
-
A causa delle condizioni di fornitura offerte dal nostro fornitore
siamo costretti a conteggiare ulteriori € 5.00 di spese in aggiunta al prezzo di copertina - € 30.95
Informazioni bibliografiche del Libro
- Titolo del Libro: Logica. Metodo breve
- Autore: Daniele Mundici
- Editore: Springer Verlag
- Collana: Unitext
- Data di Pubblicazione: 2011
- Genere: matematica
- Argomento : Logica matematica
- Pagine: XI-126
- ISBN-10: 8847018838
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.
Recensioni Scrivi la tua recensione del libro "Logica. Metodo breve"
Recensioni Scrivi la tua recensione del libro "Logica. Metodo breve"