Comunidad de Ciencias exactas

Las ciencias formales son aquellas ciencias que establecen el razonamiento lógico y trabajan con ideas creadas por la mente. Esta crea su propio objeto de estudio; su método de trabajo es el lógico inductivo, con todas sus variantes. Las ciencias formales estudian el saber en contraposición a las ciencias factuales que estudian el ser. Algunos ejemplos de las ciencias formales son: matemáticas,teología,filosofía,la lógica, la ética, computación, cálculo, y algunos talleres como de programación y de estrategias.