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).