Sumários
Prática 12
22 abril 2022, 12:30 • Luís Carlos Miguelote Dias
Exercícios do capítulo 5: 3.4, 5.1(ab), 5.2(ab), 5.5. Avaliação MAP.
Aula Prática 12
21 abril 2022, 17:00 • Maria Paula Antunes Abrantes Gouveia
Resolução dos exercícios 3.4, 5.1 a) b), 5.2 a) b) e 5.5 do capítulo 5 do texto de apoio. Realização do MAP5.
Teórica #14
21 abril 2022, 17:00 • Carlos Caleiro
Funções construtíveis no espaço e no tempo. Teoremas de hierarquia espacial e temporal, aplicação à separação de classes, nomeadamente P e EXPTIME.
Teórica #14
21 abril 2022, 15:00 • Carlos Caleiro
Funções construtíveis no espaço e no tempo. Teoremas de hierarquia espacial e temporal, aplicação à separação de classes, nomeadamente P e EXPTIME.
Prática 12
21 abril 2022, 13:00 • Eduardo Skapinakis
Exercícios do capítulo 5: 3.4, 5.1(ab), 5.2(ab), 5.5. Avaliação MAP.