Lógica e Especificação

Avisos

Não haverá aulas no dia 16 de junho.

Datas importantes

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

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

Resultados de testes

Slides

Listas de exercícios

Ferramentas

Bibliografia