Scuola Estiva Perugia 2014 – 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: 24 - 27 agosto 2014
| 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: 24 - 29 agosto 2014
| 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 |
