1. Cálculo como razonamiento y cálculo lógico-matemático
1.1. El cálculo lógico natural como razonamiento es el primer cálculo elemental del ser humano.
1.2. Operaciones orientadas hacia la consecución de un fin, como prever, programar, conjeturar, estimar, precaver, prevenir, proyectar, configurar, ETC
1.3. Operaciones formales como algoritmo que se aplica bien directamente a los datos conocidos o a los esquemas simbólicos de la interpretación lógico-matemática
1.3.1. Modelo de relaciones previamente establecido como teoría científica y significativo respecto a determinadas realidades (Creación de modelos científicos). Mero juego formal simbólico de fundamentación, creación y aplicación de las reglas que constituyen el sistema formal del algoritmo
1.3.2. Conclusión de un proceso de razonamiento.Resultado aplicable directamente a los datos iniciales (resolución de problemas).
2. Actualidad
2.1. ha adquirido una dimensión y desarrollo impresionante por la potencia de cálculo conseguida por los ordenadores
2.1.1. Employee
2.1.2. Employee
2.2. La capacidad y velocidad de cálculo de estas máquinas hace lo que humanamente sería imposible
2.2.1. Employee
2.2.2. Employee
2.3. se convierte en un instrumento fundamental de la investigación científica
2.3.1. las posibilidades
2.3.2. las teorías científicas
3. Cálculo como lógica de relaciones
3.1. Cuando se toma la oración simple significativa con posible valor de verdad propio
3.1.1. VERDADERO
3.1.2. FALSO
4. Historia
4.1. procede del latín calculus
4.1.1. Employee
4.1.2. Employee
4.2. Los antecedentes de procedimiento de cálculo, como algoritmo, se encuentran en los que utilizaron los geómetras griegos
4.2.1. Employee
4.2.2. Employee
4.3. Se considera que Arquímedes fue uno de los matemáticos más grandes de la antigüedad y, en general, de toda la historia
4.3.1. Usó el método exhaustivo para calcular el área bajo el arco de una parábola con el sumatorio de una serie infinita
4.3.2. dio una aproximación extremadamente precisa del número Pi
5. Cálculo lógico
5.1. sistema de reglas de inferencia o deducir un enunciado a partir de otro u otros
5.1.1. Los hombres en nuestra tarea diaria, utilizamos constantemente el razonamiento deductivo
5.1.2. Employee
5.2. requiere un conjunto consistente de axiomas y unas reglas de inferencia y su propósito es poder deducir algorítmicamente proposiciones lógicas verdaderas a partir de axiomas válidos.
5.2.1. Al aplicar las reglas de este cálculo lógico a los enunciados que forman un argumento
5.2.2. las reglas de formación de fórmulas definen una sintaxis de un lenguaje formal de símbolos
5.3. Dichas transformaciones son meramente tautologías
5.3.1. Employee
5.3.2. Employee