|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Logica
Volume 1 - Dimostrazioni e modelli al primo ordine
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
ISBN-13:
9788847055384
Veröffentl:
2014
Seiten:
190
Autor:
Vito Michele Abrusci
Serie:
80, UNITEXT La Matematica per il 3+2
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Italienisch
Beschreibung:
Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica.
¿1 Introduzione.- 2 Alcune nozioni preliminari.- 3 Dimostrabilità e soddisfacibilità.- 4 Verso la teoria della dimostrazione: il teorema del taglio per LK.- 5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
