|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Logica: Metodo Breve
ISBN-13:
9788847018846
Veröffentl:
2011
Seiten:
126
Autor:
Daniele Mundici
Serie:
50, UNITEXT La Matematica per il 3+2
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
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.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
