Lógica e Técnicas de Prova

26 Setembro 2024, 09:30 • Filipe Alexandre dos Santos

---

Leitura [Martin 2011] cap 1.1, 1.6

Lógica e Técnicas de Prova

26 Setembro 2024, 08:00 • Filipe Alexandre dos Santos

---

Leitura [Martin 2011] cap 1.1, 1.6

Definições indutivas e recursivas; Conceitos Básicos de Linguagens

24 Setembro 2024, 08:00 • Filipe Alexandre dos Santos

---

Leitura [Martin 2011] cap 1.4, 1.5

Definições indutivas e recursivas; Conceitos Básicos de Linguagens

23 Setembro 2024, 19:30 • Afonso Manuel Barral Caniço

---

Leitura [Martin 2011] cap 1.4, 1.5

Definições indutivas e recursivas; Conceitos Básicos de Linguagens

23 Setembro 2024, 09:30 • Filipe Alexandre dos Santos

---

Leitura [Martin 2011] cap 1.4, 1.5