The course will start on Wednesday 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:
wednesday 11:00-13:00 Aula G50 (Edificio G Regina Elena)
friday 10:00-13:00 Aula G50 (Edificio G Regina Elena)
Virtual Classroom:
code: xqq6dec
invitation: https://classroom.google.com/c/MjMxMzExODkwNjJa?cjc=xqq6dec