Semana 12

24 Novembro 2025, 08:00 • Diana Costa

Resolução dos exercícios 1b, 2a,b,c e 3a--e da Folha Prática 5.1

---

Semana 11

21 Novembro 2025, 08:00 • Diana Costa

Resolução dos exercícios 1c,d, 2, 5, 6, 8 da Folha Prática 4.2

---

T21

19 Novembro 2025, 09:30 • Diana Costa

Redução por mapeamento e seu uso em provas de (in)decidibilidade e (ir)reconhecibilidade. Teorema de Rice.

---

Semana 11

19 Novembro 2025, 08:00 • Diana Costa

Resolução dos exercícios 1c,d, 2, 5, 6, 8 da Folha Prática 4.2

---

Semana 11

18 Novembro 2025, 10:30 • Diana Costa

Resolução dos exercícios 1c,d, 2, 5, 6, 8 da Folha Prática 4.2

---