Práticas
Prática 0 e 1 - 16/09/2026
Bibliografia e Ligações
- PLOS: Cap 1
- CLP: Cap1-3
Prática 2 - 23/09/2026
Semântica de Expressões Aritméticas e Booleanas
1. 2. 3.
Semântica operacional natural da linguagem While
5 a) c) 6 a) e b) 8 11
Simulador gráfico
Bibliografia e Ligações
- SWA: Cap 1
- SWA: Cap 2.1
Prática 4- 7/10/2026
Bibliografia e Ligações
- SWA: Cap 3.2
- The programming languages zoo
- Haskell programming
Reservado a estudantes
