MAIELI ROBERTO
(programma)
A) LA TRASFORMAZIONE DELLE REGOLE STRUTTURALI IN REGOLE LOGICHE: IL CALCOLO DEI SEQUENTI E LA DERIVABILITA' IN LOGICA LINEARE
B) NON-DETERMINISMO POSITIVO E IL NEGATIVO: IL CALCOLO DEI SEQUENTI FOCALIZZATO PER LA LOGICA LINEARE, LA RICERCA AUTOMATICA DELLE DIMOSTRAZIONI
C) LA COMPLESSITA' IMPLICITA E LA LOGICA LINEARE
D) GEOMETRIA DELLE DIMOSTRAZIONI: LE RETI DIMOSTRATIVE IN LOGICA LINEARE
E) GLI INVARIANTI E LO SVILUPPO DELL’INTERAZIONE TRA DIMOSTRAZIONI: GLI SPAZI COERENTI, LA GEOMETRIA DELL'INTERAZIONE
(testi)
APPUNTI E SLIDES DISPONIBILI SULLA PAGINA WEB DEL CORSO
https://sites.google.com/view/lm510/
|
Università Roma Tre