Ambiente visual para el aprendizaje de sistemas formales

Abstract

Este artículo presenta el proyecto de grado "Ambiente visual para el aprendizaje de sistemas formales", en donde los estudiantes como los profesores pueden interactuar, a través de una plataforma web que permita a los estudiantes interesarse más por la línea de lógica matemática, por medio de la experimentación e hipótesis de los problemas propuestos por los profesores como los estudiantes y verificar si se llega a la conjetura por medio de una cadena inicial.

This article presents the degree project "Visual environment for the learning of formal systems", where students and teachers can interact, through a web platform that allows students to be more interested in the mathematical logic line, through of the experimentation and hypothesis of the problems proposed by the professors as the students and to verify if the conjecture is reached by means of an initial chain.