LM1 - Logica matematica 1, complementi di logica classica |
(Insegnamento mutuato dalla Facoltà di Lettere e Filosofia) |
Proff. Lorenzo Tortora de Falco e Vito Michele Abrusci |
DM, Stanza 300 tel. 06 5488 8223 tel. 06 5457 7419 |
e-mail: tortora@uniroma3.it e-mail: abrusci@phil.uniroma3.it |
Teorema di eliminazione del taglio (dimostrazione completa)Applicazioni dei teoremi di compattezza, completezza, eliminazione del taglioTeorema di Herbrand e risoluzioneFunzioni ricorsive Decidibilità: esempi di teorie decidibili (OLDSE)Aritmetica di Peano e teoremi di incompletezza di Gödel |
II Semestre Crediti: 6 Prerequisiti: MC2, MC4 |
Insegnamento valido per la PFA |
Programma esteso: [Versioni disponibili: PDF] |