Mundici Logica: Metodo Breve
1. Auflage 2011
ISBN: 978-88-470-1884-6
Verlag: Springer Italia
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Italienisch, 137 Seiten, Web PDF
Reihe: La Matematica per il 3+2
ISBN: 978-88-470-1884-6
Verlag: Springer Italia
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Zielgruppe
Upper undergraduate