Este documento clasifica diferentes tipos de problemas computacionales como decidibles e indecidibles, tratables e intratables, y describe algoritmos determinísticos y no determinísticos. También introduce las clases de complejidad NP, p y Np-completo y los métodos para medir el tiempo y espacio requeridos para resolver problemas.