The course will start on Thursday February 26th

1047636 MATHEMATICAL LOGIC FOR COMPUTER SCIENCE

The course will be divided in two parts. The first part is devoted to introductory notions and to the connection between definability of queries/properties and algorithmic decidability; the second part is devoted to modal and temporal logics. 

Instructors: Lorenzo Carlucci (lorenzo.carlucci@uniroma1.it)

Giuseppe Perelli (giuseppe.perelli@uniroma1.it)gi useppe.perelli@uniroma1.

Schedule: 

Monday 10:00-13:00 Aula L2 (Edificio RM018 - Castro Laurenziano)

Thursday 11:00-13:00 Aula L2 (Edificio RM018 - Castro Laurenziano)

Virtual Classroom: 

code: tljf2wlv

invitation: https://classroom.google.com/c/MjE5ODk2Njk1Nzha?cjc=tljf2wlv