Resolução Teórica e Computacional