Sumários
Resolução de exercícios - Lógica e Técnicas de Prova
26 Setembro 2025, 08:00 • Inês Graça
Resolução [Santos 2019] 3, 4, 5, 6, 7
Lógica e Técnicas de Prova
25 Setembro 2025, 09:30 • Filipe Alexandre dos Santos
Leitura [Martin 2011] cap 1.1, 1.6
Lógica e Técnicas de Prova
25 Setembro 2025, 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 2025, 08:00 • Inês Graça
Leitura [Martin 2011] cap 1.4, 1.5