Trigésima quarta aula
15 dezembro 2006, 10:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Demonstração da correcção parcial de um algoritmo de cálculo do mínimo de uma lista não vazia.
15 dezembro 2006, 10:00 • Francisco Miguel Alves Campos de Sousa Dionísio
Demonstração da correcção parcial de um algoritmo de cálculo do mínimo de uma lista não vazia.