Sumários

29 Maio 2026, 08:00 • Alcides Fonseca

Raciocínio sobre programas: provas por indução e propriedades de programas funcionais.

28 Maio 2026, 09:00 • Filipe Rafael Gomes Varjao

Raciocínio sobre programas: exercícios 1, 3, 5 e outros da ficha 12, dependendo do tempo.

26 Maio 2026, 12:00 • Alcides Fonseca

Raciocínio sobre programas: provas por indução e propriedades de programas funcionais.

26 Maio 2026, 09:30 • Alcides Fonseca

Raciocínio sobre programas: provas por indução e propriedades de programas funcionais.

25 Maio 2026, 09:00 • Diogo Alves de Sousa

Programação funcional em Java: exercícios 2, 5, 7 e outros da ficha 11, dependendo do tempo.