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.