Boas novamente.
Venho apenas perguntar se não haveré ninguém k tenha documentação sobre correcção de funções e algoritmos bem como o cálculo do invariante e variante, complexidade...é para uma cadeira da Universidade a que vou ter teste em breve e gostaria de ter exemplos resolvidos ou até mesmo exames de cadeiras semelhantes.Alguma coisa menos vaga e mais centrada em exercicios e exemplos praticos.Com os melhores cumprimentos..
Venho apenas perguntar se não haveré ninguém k tenha documentação sobre correcção de funções e algoritmos bem como o cálculo do invariante e variante, complexidade...é para uma cadeira da Universidade a que vou ter teste em breve e gostaria de ter exemplos resolvidos ou até mesmo exames de cadeiras semelhantes.Alguma coisa menos vaga e mais centrada em exercicios e exemplos praticos.Com os melhores cumprimentos..