Lógica e Especificação

Avisos

Datas importantes

Atenção: essas datas constam de uma previsão e podem sofrer alterações.

  • Primeira avaliação: 26/09 (Resultado)
  • Seminários: 10/10 (Resultado)
  • Entrega do projeto: 28/11

Resultados de testes

Slides

Listas de exercícios

Ferramentas

Bibliografia