Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Logic. A brief course - Daniele Mundici - copertina
Logic. A brief course - Daniele Mundici - copertina
Dati e Statistiche
Wishlist Salvato in 1 lista dei desideri
Logic. A brief course
Disponibilità in 2 settimane
37,53 €
-5% 39,51 €
37,53 € 39,51 € -5%
Disp. in 2 settimane
Chiudi
Altri venditori
Prezzo e spese di spedizione
ibs
37,53 € Spedizione gratuita
disponibilità in 2 settimane disponibilità in 2 settimane
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
ibs
37,53 € Spedizione gratuita
disponibilità in 2 settimane disponibilità in 2 settimane
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
Chiudi
Logic. A brief course - Daniele Mundici - copertina

Descrizione


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.
Leggi di più Leggi di meno

Dettagli

2012
31 gennaio 2012
Libro universitario
136 p., Brossura
9788847023604
Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi

Chiudi

Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.

Chiudi

Verrai avvisato via email sulle novità di Nome Autore