cálculo (sustantivo masculino): Un sistema formal en el cual expresiones simbólicas son manipuladas de acuerdo con reglas previamente definidas.