Categoría: Ciencias formales

Las ciencias formales estudian la logica, las matematicas y las ciencias de la computacion, es decir, todo lo relacionado con la informatica.
La definicion exacta de ciencias formales podria ser los conjuntos sistemáticos de conocimientos racionales y coherentes, que se ocupan del estudio de los procesos lógicos y matemáticos, y que esos conocimientos pueden ser aplicados a dicha realidad físico-natural. El método propio de las ciencias formales es el método deductivo.