Ciencia del calculo

En general el termino cálculo (del latín calculus = piedra)1 hace referencia, indistintamente, a la acción o el resultado correspondiente a la acción de calcular. Calcular, por su parte,consiste en realizar las operaciones necesarias para prever el resultado de una acción previamente concebida, o conocer las consecuencias que se pueden derivar de unos datos previamenteconocidos.
No obstante, el uso más común del término cálculo es el lógico-matemático. Desde esta perspectiva, el cálculo consiste en unprocedimiento mecánico, o algoritmo, mediante elcual podemos conocer las consecuencias que se derivan de unos datos previamente conocidos.

en la actualidad, el cálculo en su sentido más general, en tanto que cálculo lógicointerpretado matemáticamente como sistema binario, y físicamente hecho material mediante la lógica de circuitos eléctrónicos, ha adquirido una dimensión y desarrollo impresionante por la potencia decálculo conseguida por los ordenadores, propiamente máquinas computadoras. La capacidad y velocidad de cálculo de estas máquinas hace lo que humanamente sería imposible: millones deoperaciones por segundo.
El cálculo así utilizado se convierte en un instrumento fundamental de la investigación científica por las posibilidades que ofrece para lamodelización de lasteorías científicas, adquiriendo especial relevancia en ello el cálculo numérico.

El cálculo es un sistema de símbolos no interpretados, es decir, sin significado alguno, en el que seestablecen mediante reglas estrictas, las relaciones sintácticas entre los símbolos para la construcción de fórmulas bien formadas (fbf), así como las reglas que permiten transformar dichasexpresiones en otras equivalentes; entendiendo por equivalentes que ambas tienen siempre y de forma necesaria el mismo valor de verdad. Dichas transformaciones son meramente tautologías.