Sumários
Programação funcional em Java
22 Maio 2026, 09:00 • Rafael Alexandre Tronco Correia
Programação funcional em Java: exercícios 2, 5, 7 e outros da ficha 11, dependendo do tempo.
Raciocínio sobre programas
22 Maio 2026, 08:00 • Alcides Fonseca
Raciocínio sobre programas: provas por indução e propriedades de programas funcionais.
Programação funcional em Java
22 Maio 2026, 08:00 • Filipe Rafael Gomes Varjao
Programação funcional em Java: exercícios 2, 5, 7 e outros da ficha 11, dependendo do tempo.
Programação funcional em Java
21 Maio 2026, 09:00 • Filipe Rafael Gomes Varjao
Programação funcional em Java: exercícios 2, 5, 7 e outros da ficha 11, dependendo do tempo.
Raciocínio sobre programas
19 Maio 2026, 12:00 • Alcides Fonseca
Raciocínio sobre programas: provas por indução e propriedades de programas funcionais.