Sumários
Lab: Virtual lab support
17 dezembro 2020, 14:00 • Paulo Alexandre Carreira Mateus
Virtual lab support at Google Classes.
Lab: Virtual lab support
15 dezembro 2020, 15:00 • Paulo Alexandre Carreira Mateus
Virtual lab support at Google Classes.
P06: Exam solving 2
10 dezembro 2020, 14:00 • Paulo Alexandre Carreira Mateus
Solving the exams from previous years.
P05: Exam solving
3 dezembro 2020, 14:00 • Paulo Alexandre Carreira Mateus
Solving the exams from previous years.
Project support
26 novembro 2020, 14:00 • Paulo Alexandre Carreira Mateus
Project support. LTL as fixpoint operators, omega regular languages as fixpoint operators.