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.