Métodos de demostración teórica para el análisis de algoritmos