ADOLFO
PIPERNO
COMUNICAZIONI AGLI STUDENTI DEL CORSO DI METODI MATEMATICI PER L'INFORMATICA
IMPORTANTE: Leggete qui le istruzioni COVID.
Per favore iscrivetevi al gruppo Google https://groups.google.com/a/uniroma1.it/g/met-mat-inf2 ed alla Classroom (codice zvoky4o).
Le lezioni in presenza si terranno in aula Cabibbo - Dipartimento di Fisica, mentre il link per le lezioni online si trova qui: https://www.phys.uniroma1.it/fisica/strutture/aule. Dal 20 ottobre verrà utilizzata la piattaforma Zoom.
L'orario di inizio delle lezioni è:
il martedì alle ore 8.15
il giovedì alle ore 9.00
Testo adottato: Bagni, Gorla, Labella, Introduzione alla Logica ed al Linguaggio Matematico, McGraw-Hill.
COMMUNICATIONS TO STUDENTS OF THE COURSE OF MODELS OF COMPUTATION
IMPORTANT: Read the COVID instructions here.
Please join the Google group at https://groups.google.com/a/uniroma1.it/g/modcomp2021 and join the Classroom (code zdicjd2).
The face-to-face lessons will be held in Aula Alfa - Via Salaria 113, while the link for online lessons is https://meet.google.com/vup-bjrk-yjz.
The starting time for lessons is:
Tuesday at 15.15
Wednesday at 15.00
Notes for the course: extracts from this and this.
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.
Titolo | Rivista | Anno |
---|---|---|
Conflict vs causality in event structures | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2019 |
Isomorphism test for digraphs with weighted edges | 2018 |