Herramienta didáctica para la verificación automática de tautologías en lógica proposicional mediante inferencia semántica. Utiliza la técnica de refutación para determinar si un argumento es válido, asumiendo que el antecedente es verdadero y el consecuente es falso.

Sistema integral para escuelas de taekwondo orientado al control administrativo y académico: gestión de alumnos, colegiaturas, control de exámenes por nivel y seguimiento operativo para reducir errores y ahorrar tiempo en procesos clave.

Plataforma web enfocada en Investigación de Operaciones para apoyar el aprendizaje, la experimentación y la aplicación de modelos académicos en la resolución de problemas reales.

Tutorial interactivo sobre CSS que cubre gradientes lineales, gradientes radiales, colores RGBA/HSLA y la propiedad outline. Incluye ejemplos dinámicos e interactivos para visualizar los resultados en tiempo real y dominar las técnicas que transformarán tus diseños.