English
Italiano
Anno Accademico 2023-24
COMUNICAZIONI AGLI STUDENTI DEL CORSO DI METODI MATEMATICI PER L'INFORMATICA
ATTENZIONE!!: LE LEZIONI DI QUESTO CORSO INIZIERANNO GIOVEDI 28 SETTEMBRE
Per favore iscrivetevi alla Classroom a https://classroom.google.com/c/NjI0NzU1NjgzODQ1?cjc=fckvgui.
Le lezioni si terranno in presenza in aula III - Dipartimento di Matematica.
L'orario di inizio delle lezioni è: Martedì alle 13:30, Giovedì alle 13:15.
Testo adottato: Bagni, Gorla, Labella, Introduzione alla Logica ed al Linguaggio Matematico, McGraw-Hill.
COMUNICAZIONI AGLI STUDENTI DEL CORSO DI INFORMATICA GENERALE (programmazione in C)
Per favore iscrivetevi alla Classroom a https://classroom.google.com/c/NjE5OTg1NzczODQ0?cjc=r7rawww.
Le lezioni si terranno in presenza in aula I - Dipartimento di Matematica.
L'orario di inizio delle lezioni è: Mercoledi alle 16:00.
Testo di riferimento: B.W.Kerningham e D.M.Ritchie, Il linguaggio C. Principi di programmazione e manuale di riferimento, Pearson.
Academic Year 2023-24
COMMUNICATIONS TO STUDENTS OF THE COURSE OF MODELS OF COMPUTATION
Please join the Classroom at https://classroom.google.com/c/NjI0NzYwNTIyNzYx?cjc=fiw6mtz.
The starting time for face-to-face lessons is:
Wednesday at 8:30 in room T1 Regina Elena building E
Thursday at 15:15 Aula Magna Regina Elena building C
Notes for the course: extracts from this and this.
| Insegnamento | Codice | Anno | Corso - Frequentare | Bacheca |
|---|---|---|---|---|
| INFORMATICA GENERALE | 1032750 | 2022/2023 | ||
| METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2022/2023 | ||
| MODELS OF COMPUTATION | 1047638 | 2022/2023 | ||
| DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI | 1036449 | 2022/2023 | ||
| MODELS OF COMPUTATION | 1047638 | 2021/2022 | ||
| INFORMATICA GENERALE | 1032750 | 2021/2022 | ||
| METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2021/2022 | ||
| DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI | 1036449 | 2021/2022 | ||
| DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI | 1036449 | 2020/2021 | ||
| MODELS OF COMPUTATION | 1047638 | 2020/2021 | ||
| METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2020/2021 | ||
| METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2019/2020 | ||
| MODELS OF COMPUTATION | 1047638 | 2019/2020 | ||
| DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI | 1036449 | 2019/2020 | ||
| MODELS OF COMPUTATION | 1047638 | 2018/2019 | ||
| METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2018/2019 | ||
| DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI | 1036449 | 2018/2019 | ||
| MODELS OF COMPUTATION | 1047638 | 2017/2018 | ||
| METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2017/2018 | ||
| DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI | 1036449 | 2017/2018 | ||
| METODI MATEMATICI PER L'INFORMATICA | 1020420 | 2016/2017 | ||
| DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI | 1036449 | 2016/2017 | ||
| MODELS OF COMPUTATION | 1047638 | 2016/2017 |
Per appuntamento.
Laurea in Matematica (1986). Dottorato in Ingegneria Informatica (1991, 3°ciclo).
Ricercatore dal 1991 (K05B), Professore Associato dal 1998 (INF/01), Dipartimento di Informatica.
La ricerca di Adolfo Piperno è stata principalmente nel campo dei metodi formali in informatica,
concentrandosi in particolare sulla programmazione funzionale, lambda-calcolo e teoria dei tipi.
Ulteriori aree di interesse di ricerca includono l'ambito degli algoritmi per disegno di grafi.
Attualmente l'attività di ricerca di Adolfo Piperno si svolge nell'ambito del problema dell'isomorfismo
di grafi, con particolare attenzione ai suoi aspetti pratici.