Semana 9

7 Novembro 2025, 08:00 • Diana Costa

Resolução dos exercícios 1, 5a,b e 6a,g da Folha Prática 3.1

---

T17

5 Novembro 2025, 09:30 • Diana Costa

Variante Enumerador e equivalência ao modelo base. Postulado de Church-Turing.

---

Semana 9

5 Novembro 2025, 08:00 • Diana Costa

Resolução dos exercícios 1, 5a,b e 6a,g da Folha Prática 3.1

---

Semana 9

4 Novembro 2025, 10:30 • Diana Costa

Resolução dos exercícios 1, 5a,b e 6a,g da Folha Prática 3.1

---

T16

4 Novembro 2025, 09:30 • Diana Costa

Linguagens Turing-reconhecíveis e linguagens Turing-decidíveis. Variantes da MT uni-fita determinista e equivalência ao modelo base.

---