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]