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.

---

Raciocínio sobre programas

15 Maio 2026, 10:30 • Alcides Fonseca

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

---

QuickCheck

15 Maio 2026, 09:00 • Rafael Alexandre Tronco Correia

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

---

Raciocínio sobre programas

15 Maio 2026, 08:00 • Alcides Fonseca

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

---

QuickCheck

15 Maio 2026, 08:00 • Filipe Rafael Gomes Varjao

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

---