| MC4 - Matematiche complementari 4, logica classica del primo ordine |
| (Insegnamento mutuato dalla Facoltà di Lettere e Filosofia) |
| Prof. Vito Michele Abrusci |
| tel 06 5457 7419 |
| e-mail: abrusci@phil.uniroma3.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. |
| I Semestre Crediti: 6 Prerequisiti: AL2, GE2 |
| Insegnamento valido per la PFA |
| Programma esteso: |