Descrição:

Esta unidade curricular objetiva desenvolver um conjunto de competências avançadas para complementar o conhecimento padrão de algoritmos e estruturas de dados. Após conclusão da unidade curricular, os alunos deverão ser conseguir: analisar a complexidade assintótica de algoritmos; fazer provas de correção para algoritmos; demonstrar conhecer problemas reais e os seus algoritmos; aplicar um conjunto de técnicas de desenho e análise para problemas no contexto de aplicações computacionais.