| MC4 - Matematiche complementari 4, logica classica del primo ordine |
| Prof. Vito Michele Abrusci |
| DM,Stanza 304 tel 065488 8218 |
| e-mail: : abrusci@phil.uniroma.it |
| Linguaggio formale, calcolo dei sequenti, teorema di Compattezza, teorema di Loewenheim-Skolem, teorema di Completezza e teorema di eliminazione del taglio; teorema di incompletezza. |
| II Semestre Crediti: 6 Prerequisiti: AL2, GE2 |
| Programma esteso: da richiedere al docente presso il dipartimento di Filosofia |