Sumários
(Sem Titulo)
17 dezembro 2004, 10:00 • Amilcar Sernadas
Exame tipo: enunciado e resolução. Comentários sobre a fórmula de cálculo da nota final. Apoio ao projecto. http://www.cs.math.ist.utl.pt/courses.www/elemprog0405/aulaT16.nb http://www.cs.math.ist.utl.pt/courses.www/elemprog0405/aulaT16x.html
(Sem Titulo)
16 dezembro 2004, 10:00 • Amilcar Sernadas
Método de Dijkstra para síntese de pequenos programas imperativos. Referência ao papel do cálculo de Hoare na resolução do problema da colocação de professores. http://www.cs.math.ist.utl.pt/courses.www/elemprog0405/AlgCol3.pdf amavelmente disponibilizado pelos autores Luís Filipe Andrade et al
(Sem Titulo)
13 dezembro 2004, 12:00 • Amilcar Sernadas
Verificação da correcção total de pequenos programas imperativos.
(Sem Titulo)
13 dezembro 2004, 08:00 • Luís Calhorda Cruz Filipe
Cálculo de Hoare. Exercícios resolvidos: soma duma lista, exame B de 21/1/2002 e inversão duma lista.
(Sem Titulo)
10 dezembro 2004, 14:00 • Luís Calhorda Cruz Filipe
Cálculo de Hoare. Exercícios resolvidos: comprimento duma lista, exponenciação e exame A de 6/2/2002.