Sumários
Teórica #28
20 dezembro 2013, 11:00 • Carlos Caleiro
Considerações finais sobre a avaliação. Exame tipo.
Décima quarta aula prática (LMAC e Eng. Biomédica)
19 dezembro 2013, 11:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Correção total de programas: terminação da potência. Exemplos de invariantes de correção parcial e total para outros programas (notebook11).
Décima quarta aula prática (Eng. Biomédica)
17 dezembro 2013, 11:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Correção total de programas: terminação da potência. Exemplos de invariantes de correção parcial e total para outros programas (notebook11).
Teórica #26
13 dezembro 2013, 11:00 • Carlos Caleiro
Correcção total de programas: exemplos de aplicação (aulaT15.nb).