En las últimas décadas muchos modelos formales han sido propuestos para formalizar aplicaciones musicales,para resolver problemas musicales y de improvisación, y para probar propiedades en la música. En este artículodescribiremos brevemente algunos de estos modelos formales (los cálculos computacionales); proveeremos unadescripción de algunas aplicaciones de dichos formalismos; finalmente discutiremos algunas consideraciones sobrecada cálculo mencionado aquí, resaltando fortalezas y debilidades.