El documento describe tres tipos de algoritmos: cualitativos, que usan palabras para describir los pasos; cuantitativos, que usan cálculos numéricos; y de razonamiento, que incluyen estáticos, adaptativos y probabilísticos. Estos últimos pueden ser numéricos, de Montecarlo o de Las Vegas dependiendo de si proveen soluciones aproximadas, correctas o incorrectas con baja probabilidad, o nunca incorrectas.