La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican o definen nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y algoritmos, utilizando un lenguaje formal.
Parte de la lógica y las matemáticas que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con las ciencias de la computación y la lógica filosófica. La lógica matemática no es la "lógica de las matemáticas" sino la "matemática de la lógica", Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente. Actualmente se usan indiferentemente como sinónimos las expresiones: lógica simbólica (o logística), lógica matemática, lógica teorética y lógica formal.
- Comprender mejor su entorno.
- Intervenir en el cada vez de una forma mas adecuada.
La matemática tiene 3 grandes fases:
La estimación numérica nos permite comprende una serie de técnicas de análisis numérica para aproximar el valor numérico de una expresión matemática.