MC4 - Matematiche complementari 4, logica classica del primo ordine |
(Insegnamento mutuato dalla Facoltà di Lettere e Filosofia) |
Proff. Vito Michele Abrusci e Lorenzo Tortora de Falco |
tel 06 5457 7419, DM, Stanza 300 tel. 06 5488 8223 |
e-mail: abrusci@phil.uniroma3.it, e-mail: tortora@uniroma3.it |
I temi della Logica.Dimostrabilità e soddisfacibilità in logica classica del primo ordine.Linguaggio formale e calcolo dei seguentiTeorema di compattezza (con dimostrazione)Teorema di completezza (con dimostrazione)Teorema di eliminazione del taglio Indecidibilità ed incompletezza |
II Semestre Crediti: 6 Prerequisiti: AL2, GE2 |
Insegnamento valido per la PFA |
Programma esteso: [Versioni disponibili: PDF ] |