| 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 ] |