Sumários

Teórica #27

19 dezembro 2014, 11:00 • Carlos Caleiro

Terceira ficha de avaliação.

Prática #14

18 dezembro 2014, 11:00 • Carlos Caleiro

Conclusão da aula prática anterior.

Prática #14

16 dezembro 2014, 11:00 • Carlos Caleiro

Conclusão da aula prática anterior.

Teórica #26

15 dezembro 2014, 11:00 • Carlos Caleiro

Considerações finais sobre a avaliação. Exame tipo.

Teórica #25

12 dezembro 2014, 11:00 • Carlos Caleiro

Correcção total de programas: asserções de convergência, terminação de programas, expressão variante de um ciclo, regras de inferência, exemplos (aulaT15.nb).