|
Fruisce da
|
20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 ABRUSCI VITO MICHELE, Joinet Jean-Baptiste
(programma)
A) LA TRASFORMAZIONE DELLE REGOLE STRUTTURALI IN REGOLE LOGICHE: IL CALCOLO DEI SEQUENTI E LA DERIVABILITA' IN LOGICA LINEARE
B) IL POSITIVO E IL NEGATIVO: IL CALCOLO DEI SEQUENTI FOCALIZZATO PER LA LOGICA LINEARE, LA LUDICA
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)
Dispense on line
|
Università Roma Tre