Logica: Metodo Breve
35,20 €*
Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9788847018839
Veröffentl:
2011
Einband:
Paperback
Erscheinungsdatum:
10.02.2011
Seiten:
144
Autor:
Daniele Mundici
Gewicht:
230 g
Format:
235x155x9 mm
Serie:
50, La Matematica per il 3+2
Sprache:
Italienisch
Beschreibung:
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.
Senza richiedere prerequisiti, lo studente perviene alla dimostrazione del teorema di completezza di Goedel per la logica dei predicati con eguaglianza
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
