Análise assintótica nos dá: - formalismo e vocabulário matemático que nos permitem argumentar sobre a qualidade e eficiência de algoritmos - sendo simples o bastante para ignorar detalhes sobre os quais não temos controle ou interesse quando tratamos de um algoritmo - como detalhes de implementação, linguagem, compilação e arquitetura - mas sendo precisa o bastante para nos permitir decidir entre diferentes algoritmos para resolver um problema - particularmente quando as entradas do problema são grandes