Definición de ciencias formales

Las ciencias formales son llamadas también ciencias deductivas; las ciencias formales son las ramas de la ciencia que estudian sistemas formales, estas validan su teoría con base de proposiciones, axiomas, definiciones y reglas de inferencia estas son analíticas a diferencia de las ciencias sociales y las ciencias naturales.

Las ciencias formales son:

CIENCIA COMPUTACIONAL TEORICA: Es una división o sub conjunto de las ciencias de la computación y matemática que se enfocan en aspectos abstractos o matemáticos de la computación.

CIENCIA DE ESTADISTICA: Estudia la recolección, análisis e interpretación de datos de una muestra representativa ya sea para explicar condiciones regulares o irregulares de un fenómeno o estudio aplicado.

La estadística es la herramienta fundamental que permite llevar a cabo el proceso relacionado con la investigación científica.

CIENCIA LOGICA: Estudia los principios por el cual algunas inferencias son aceptables y otras no. Cuando una inferencia es aceptable los es por su estructura y no por su contenido.

CIENCIA MATEMATICA: Se emplea para estudiar relaciones geométricas, magnitudes, estructuras. La matemática es la ciencia que extrae conclusiones necesarias. Existen dos tipos de matemáticas; las puras  y las aplicadas.

Las matemáticas puras, estudian la “cantidad” cuando están considerados en abstracto.

Las matemáticas aplicadas, estudian la “cantidad” pero en relación de                una serie de fenómenos físicos.

CIENCIA DE LA TEORIA DE LA DECISION: Corresponde a la forma y al estudio del comportamiento de aquellos que toman las decisiones sean reales o ficticias; así como las condiciones por las que deben ser tomadas las decisiones óptimas.

CIENCIA DE LA TEORIA DE LA INFORMACION: Relacionada con las leyes matemáticas, se ocupa de la medición de la información y de la representación de las mismas; así como también de la capacidad de los sistemas de comunicación para transmitir y procesar información.