Sumários
Resolução de exercícios - Lógica e Técnicas de Prova
27 Setembro 2024, 11:00 • Filipe Alexandre dos Santos
Resolução [Santos 2019] 3, 4, 5, 6, 7
Resolução de exercícios - Lógica e Técnicas de Prova
27 Setembro 2024, 09:30 • Filipe Alexandre dos Santos
Resolução [Santos 2019] 3, 4, 5, 6, 7
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