Innovación en movimiento: explorando las fronteras de la ciencia y tecnología
Las ciencias formales son las ramas del conocimiento que se ocupan del estudio de los sistemas formales como la lógica, matemática, ciencia computacional, teoría de la información, teoría de juegos, teoría de decisión y estadísticas.