Logica: Metodo Breve
Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per fa...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | Italian |
| Published: |
Milano
Springer Milan
2011, 2011
|
| Edition: | 1st ed. 2011 |
| Series: | La Matematica per il 3+2
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
| Summary: | Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi |
|---|---|
| Physical Description: | XI, 126 pagg online resource |
| ISBN: | 9788847018846 |