Resolução de exercícios - Lógica e Técnicas de Prova

22 Setembro 2023, 09:30 • Filipe Alexandre dos Santos

---

Resolução [Santos 2019] 3, 4, 5, 6, 7

Lógica e Técnicas de Prova

21 Setembro 2023, 09:30 • Filipe Alexandre dos Santos

---

Leitura [Martin 2011] cap 1.1, 1.6

Lógica e Técnicas de Prova

21 Setembro 2023, 08:00 • Filipe Alexandre dos Santos

---

Leitura [Martin 2011] cap 1.1, 1.6

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

19 Setembro 2023, 08:00 • Filipe Alexandre dos Santos

---

Leitura [Martin 2011] cap 1.4, 1.5

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

18 Setembro 2023, 19:30 • Afonso Manuel Barral Caniço

---

Leitura [Martin 2011] cap 1.4, 1.5