O objectivo principal desta ficha é familiarizar o aluno com a especificação de pequenos algoritmos que podem facilmente ser especificados de forma iterativa ou recursiva.