Análise de Computabilidade e Complexidade de Algoritmos