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:   [Versioni disponibili:  PDF PS DVI]