Affrontare alcune questioni della teoria della dimostrazione del ventesimo secolo, in connessione con le tematiche della ricerca contemporanea
Curriculum
scheda docente
materiale didattico
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
https://sites.google.com/view/lm510/
Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 MAIELI ROBERTO
Programma
A) LA TRASFORMAZIONE DELLE REGOLE STRUTTURALI IN REGOLE LOGICHE: IL CALCOLO DEI SEQUENTI E LA DERIVABILITA' IN LOGICA LINEAREB) 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 Adottati
APPUNTI E SLIDES DISPONIBILI SULLA PAGINA WEB DEL CORSOhttps://sites.google.com/view/lm510/
Modalità Erogazione
LEZIONI CON ESERCITAZIONIModalità Valutazione
domande ed esercizi sui temi affrontati a lezione
scheda docente
materiale didattico
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
https://sites.google.com/view/lm510/
Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 MAIELI ROBERTO
Programma
A) LA TRASFORMAZIONE DELLE REGOLE STRUTTURALI IN REGOLE LOGICHE: IL CALCOLO DEI SEQUENTI E LA DERIVABILITA' IN LOGICA LINEAREB) 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 Adottati
APPUNTI E SLIDES DISPONIBILI SULLA PAGINA WEB DEL CORSOhttps://sites.google.com/view/lm510/
Modalità Erogazione
LEZIONI CON ESERCITAZIONIModalità Valutazione
domande ed esercizi sui temi affrontati a lezione
scheda docente
materiale didattico
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
https://sites.google.com/view/lm510/
Fruizione: 20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 MAIELI ROBERTO
Programma
A) LA TRASFORMAZIONE DELLE REGOLE STRUTTURALI IN REGOLE LOGICHE: IL CALCOLO DEI SEQUENTI E LA DERIVABILITA' IN LOGICA LINEAREB) 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 Adottati
APPUNTI E SLIDES DISPONIBILI SULLA PAGINA WEB DEL CORSOhttps://sites.google.com/view/lm510/
Modalità Erogazione
LEZIONI CON ESERCITAZIONIModalità Valutazione
domande ed esercizi sui temi affrontati a lezione