Scuola Estiva Perugia 2015 – Incontro Borsisti INdAM
Le attività della Scuola estiva prevedono:
- Cicli di Conferenze e seminari tenuti da docenti universitari e ricercatori di enti di ricerca;
- Colloqui informali fra corsisti e docenti;
Borsisti INdAM I anno: 23 - 26 agosto 2015
Corso | Docente | |
Funzioni di Hilbert | Prof. Giuliana Fatabbi Università di Perugia |
|
Azioni di Gruppi | Prof.ssa Paola Frediani Università |
|
Introduzione al Sistema di Dimostrazione assistita Coq | Prof. Marco Maggesi Università di Firenze |
|
L’Insieme di Bersicovitch | Prof.ssa Valentina Casarino Università di Padova |
|
Borsisti INdAM II anno: 23 - 28 agosto 2015
Corso | Docente | |
Le serie di Fourier |
Prof.ssa Valentina Casarino Università di Padova |
|
Introduzione alla Teoria delle Curve Ellittiche | Prof.ssa Paola Frediani Università |
|
Quaternioni e la loro formalizzazione nella Logica di Ordine Superiore | Prof. Marco Maggesi Università di Firenze |
|
Una Introduzione alla Teoria della Dimensione | Prof. Giuliana Fatabbi Università di Perugia |