| LM1 - Logica matematica, logica intuizionista e logica lineare |
| (Insegnamento mutuato dalla Facoltà di Lettere e Filosofia) |
| Prof. Lorenzo Tortora de Falco |
| DM, Stanza 300 tel. 06 5488 8223 |
| e-mail: tortora@uniroma3.it |
| Deduzione naturale e normalizzazione della logica intuizionista. Reti dimostrative, semantica delle dimostrazioni e semantica delle fasi per la logica lineare. |
| II Semestre Crediti: 6 Prerequisiti: MC2, MC4 |
| Insegnamento valido per la PFA |
| Programma esteso: [Versioni disponibili: PDF] |