Raciocínio sobre programas

19 Maio 2026, 09:30 • Alcides Fonseca

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

---

QuickCheck

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

QuickCheck: exercícios 1, 5, 6 da ficha 10 (Haskell), dependendo do tempo.

---

Programação funcional em Java

18 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.

---

Programação funcional em Java

18 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.

---

Entrada e saída II

15 Maio 2026, 11:00 • Diogo Alves de Sousa

Entrada e saída: exercícios 1-5, 8, 9 da ficha 9 (Haskell), dependendo do tempo.

---