Affrontare alcune questioni della teoria della dimostrazione del ventesimo secolo, in connessione con le tematiche della ricerca contemporanea.
Curriculum
scheda docente materiale didattico
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
Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 ABRUSCI VITO MICHELE
Programma
A) LA TRASFORMAZIONE DELLE REGOLE STRUTTURALI IN REGOLE LOGICHE: IL CALCOLO DEI SEQUENTI E LA DERIVABILITA' IN LOGICA LINEAREB) 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 Adottati
Dispense on lineModalità Erogazione
LezioniModalità Valutazione
Domande sugli temi principali scheda docente materiale didattico
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
Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 ABRUSCI VITO MICHELE
Programma
A) LA TRASFORMAZIONE DELLE REGOLE STRUTTURALI IN REGOLE LOGICHE: IL CALCOLO DEI SEQUENTI E LA DERIVABILITA' IN LOGICA LINEAREB) 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 Adottati
Dispense on lineModalità Erogazione
LezioniModalità Valutazione
Domande sugli temi principali scheda docente materiale didattico
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
Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 ABRUSCI VITO MICHELE
Programma
A) LA TRASFORMAZIONE DELLE REGOLE STRUTTURALI IN REGOLE LOGICHE: IL CALCOLO DEI SEQUENTI E LA DERIVABILITA' IN LOGICA LINEAREB) 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 Adottati
Dispense on lineModalità Erogazione
LezioniModalità Valutazione
Domande sugli temi principali