Sumários
Lógica e Técnicas de Prova
24 Setembro 2026, 08:00 • Filipe Alexandre dos Santos
Leitura [Martin 2011] cap 1.1, 1.6
Definições indutivas e recursivas; Conceitos Básicos de Linguagens
23 Setembro 2026, 08:00 • Inês Graça
Leitura [Martin 2011] cap 1.4, 1.5
Definições indutivas e recursivas; Conceitos Básicos de Linguagens
22 Setembro 2026, 08:00 • Filipe Alexandre dos Santos
Leitura [Martin 2011] cap 1.4, 1.5
Definições indutivas e recursivas; Conceitos Básicos de Linguagens
21 Setembro 2026, 19:30 • Ema Silva Reis
Leitura [Martin 2011] cap 1.4, 1.5