Sumários
TP11
2 Dezembro 2024, 08:00 • Diana Costa
Resolução dos exercícios 1b), 2a,b,c) e 3a--e) da Folha Prática 5.1
TP10
29 Novembro 2024, 08:00 • Diana Costa
Resolução dos exercícios 1c,d), 2, 5, 6, 8 da Folha Prática 4.2
T22
27 Novembro 2024, 09:30 • Diana Costa
Redução por mapeamento e seu uso em provas de (in)decidibilidade e (ir)reconhecibilidade. Teorema de Rice.
TP10
27 Novembro 2024, 08:00 • Diana Costa
Resolução dos exercícios 1c,d), 2, 5, 6, 8 da Folha Prática 4.2
TP10
26 Novembro 2024, 10:30 • Diana Costa
Resolução dos exercícios 1c,d), 2, 5, 6, 8 da Folha Prática 4.2