Lógica e Especificação

Avisos

Não haverá aulas nos dias 10 e 12 de maio.

Datas importantes

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

  • Primeira avaliação: 03/05
  • Segunda avaliação: 05/07

Resultados de testes

Slides

Listas de exercícios

Ferramentas

Bibliografia