Implementación de un software que tiene como intención ayudar a estudiantes y profesores con el aprendizaje de los sistemas formales propios de la generación y estructuración de lógica en el pensamiento en la ingeniería de sistemas. En el documento se describirá el proceso de desarrollo de este software y su resultado final junto con su manual de usuario.
Abstract (English)
Implementation of a software that intends to help students and teachers with the learning of the formal systems of the generation and structuring of logic in systems engineering thinking. The document will describe the development process of this software and its final result along with its user manual.
