Ritratto di adolfo.piperno@uniroma1.it

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

Titolo Rivista Anno
Conflict vs causality in event structures ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 2019
Isomorphism test for digraphs with weighted edges 2018
Insegnamento Codice Anno Corso - Frequentare
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2020/2021 Tecniche di radiologia medica, per immagini e radioterapia (abilitante alla professione sanitaria di Tecnico di radiologia medica) - Viterbo ASL Viterbo
METODI MATEMATICI PER L'INFORMATICA 1020420 2020/2021 Informatica
MODELS OF COMPUTATION 1047638 2020/2021 Computer Science - Informatica
MODELS OF COMPUTATION 1047638 2019/2020 Computer Science - Informatica
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2019/2020 Tecniche di radiologia medica, per immagini e radioterapia (abilitante alla professione sanitaria di Tecnico di radiologia medica) VITERBO - Viterbo - ASL Viterbo
METODI MATEMATICI PER L'INFORMATICA 1020420 2019/2020 Informatica
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2018/2019 Tecniche di radiologia medica, per immagini e radioterapia (abilitante alla professione sanitaria di Tecnico di radiologia medica) VITERBO - Viterbo - ASL Viterbo
METODI MATEMATICI PER L'INFORMATICA 1020420 2018/2019 Informatica
MODELS OF COMPUTATION 1047638 2018/2019 Computer Science - Informatica
METODI MATEMATICI PER L'INFORMATICA 1020420 2017/2018 Informatica
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2017/2018 Tecniche di radiologia medica, per immagini e radioterapia (abilitante alla professione sanitaria di Tecnico di radiologia medica) VITERBO - Viterbo - ASL Viterbo
MODELS OF COMPUTATION 1047638 2017/2018 Computer Science - Informatica
METODI MATEMATICI PER L'INFORMATICA 1020420 2016/2017 Informatica - 26654
DIRITTO E ORGANIZZAZIONE DEI SERVIZI SANITARI 1036449 2016/2017 Tecniche di radiologia medica, per immagini e radioterapia (abilitante alla professione sanitaria di Tecnico di radiologia medica) VITERBO - Viterbo - ASL Viterbo
MODELS OF COMPUTATION 1047638 2016/2017 Computer Science - Informatica
Sito docente
http://pallini.di.uniroma1.it/index.html
Dipartimento
INFORMATICA
SSD

INF/01