adolfo.piperno@uniroma1.it's picture

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.

http://www.di.uniroma1.it/it/docenti/bio_piperno

Title Journal Year
Conflict vs causality in event structures ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 2019
Isomorphism test for digraphs with weighted edges 2018
Course Code Year Course - Attendance
HEALTH SERVICES LAW AND ORGANIZATION 1036449 2020/2021 Imaging and Radiotherapy techniques
Mathematical Methods in Computer Science 1020420 2020/2021 Informatics
MODELS OF COMPUTATION 1047638 2020/2021 Computer Science
Mathematical Methods in Computer Science 1020420 2019/2020 Informatics
HEALTH SERVICES LAW AND ORGANIZATION 1036449 2019/2020 Imaging and Radiotherapy techniques
MODELS OF COMPUTATION 1047638 2019/2020 Computer Science
HEALTH SERVICES LAW AND ORGANIZATION 1036449 2018/2019 Imaging and Radiotherapy techniques
MODELS OF COMPUTATION 1047638 2018/2019 Computer Science
Mathematical Methods in Computer Science 1020420 2018/2019 Informatics
HEALTH SERVICES LAW AND ORGANIZATION 1036449 2017/2018 Imaging and Radiotherapy techniques
Mathematical Methods in Computer Science 1020420 2017/2018 Informatics
MODELS OF COMPUTATION 1047638 2017/2018 Computer Science
Mathematical Methods in Computer Science 1020420 2016/2017 Informatics
HEALTH SERVICES LAW AND ORGANIZATION 1036449 2016/2017 Imaging and Radiotherapy techniques
MODELS OF COMPUTATION 1047638 2016/2017 Computer Science
Department
INFORMATICA
SSD

INF/01