LM1 - Logica matematica, logica intuizionista e logica lineare |
(Insegnamento mutuato dalla Facoltà di Lettere e Filosofia) |
Prof. Vito Michele Abrusci |
tel 06 5457 7419 |
e-mail: abrusci@phil.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 |