Domina las Matemáticas Discretas de forma interactiva
LOGIKA es la plataforma gamificada diseñada para estudiantes de Ingeniería de Sistemas. Aprende lógica, conjuntos, grafos y relaciones mediante retos prácticos, simulaciones y con la guía de tu compañero digital, Logiko.
Simulaciones Reales
Visualiza grafos, colorea diagramas de Venn en tiempo real y genera tablas de verdad de forma interactiva.
Gamificación Pura
Gana XP, mantén tu racha de estudio diaria, sube de nivel y desbloquea logros con cada reto superado.
Modo Colegio
Descubre cómo la matemática discreta es la base para desarrollar Inteligencia Artificial, videojuegos y ciberseguridad.
Bienvenido a LOGIKA
Inicia sesión o crea una cuenta para guardar tus puntos de XP, nivel y rachas.
Complejidad (modo invitado)
Elige cuántas lecciones y qué tan exigente es la práctica en cada módulo.
¿Quieres seguir en otro dispositivo? y guarda tu progreso.
Lógica Proposicional
Genera tablas de verdad interactivas, visualiza el funcionamiento de los conectores lógicos y resuelve equivalencias.
Teoría de Conjuntos
Representa de forma visual operaciones como unión, intersección, diferencia y diferencia simétrica en diagramas de Venn.
Teoría de Grafos
Crea nodos y aristas de forma táctil y visualiza paso a paso recorridos de caminos mínimos y árboles de expansión.
Relaciones y Funciones
Comprueba propiedades como reflexividad, simetría y transitividad mediante simulaciones interactivas de matrices de adyacencia.
Mi ruta de aprendizaje
Progreso de Estudiante — lecciones, práctica interactiva y certificados por módulo.
Orden recomendado: Lógica → Conjuntos → Grafos → Relaciones. Cada módulo exige completar Aprender antes de Practicar.
Mi perfil
Cuenta LOGIKA y resumen de tu avance.
Estudiante
—
Progreso por módulo
Certificados obtenidos
¿Por qué estudiar Ingeniería de Sistemas?
Descubre el increíble mundo de la tecnología. La programación no es solo matemáticas aburridas en un tablero, ¡es lógica creativa que te permite dar vida a tus ideas!
La Ruta del Programador (Grados 9, 10 y 11)
Logiko te enseña tres ideas clave (lógica, conjuntos y grafos) y luego te propone un reto corto en cada una. ¡Al terminar, tu medalla virtual!
Antes de jugar: dinos tu colegio, tu nombre y grado para personalizar tu medalla y tu aventura.
¡Hola! Soy Logiko. Primero te explico la idea en sencillo y después jugamos un reto. ¡Sin presión, vamos paso a paso!
Proyecto LOGIKA
Un espacio interactivo diseñado en Cúcuta para revolucionar la enseñanza y el aprendizaje de las matemáticas discretas en los cursos de Ingeniería de Sistemas.
Equipo de Desarrollo
Jesus Omar Avendaño A.
Ingeniería de Sistemas
Desarrollo Lógico & BackSaraic Noemi León H.
Ingeniería de Sistemas
Diseño UI/UX & GamificaciónEduardo José Soto H.
Ingeniería de Sistemas
Arquitectura & IntegraciónNuestra Misión
Las matemáticas discretas son la piedra angular de las ciencias de la computación. Comprender cómo fluye la información en proposiciones lógicas, cómo se organizan los datos en conjuntos, o cómo se conectan los servidores a través de grafos, suele ser abstracto y difícil. LOGIKA nace para transformar esas abstracciones en animaciones e interacciones arrastrables en tiempo real, permitiendo a los estudiantes aprender experimentando y equivocándose de forma lúdica.
Lógica Proposicional
Generador de Tablas de Verdad
Ingresa una proposición lógica utilizando los botones de conectores y haz clic en calcular.
Usa el teclado virtual o escribe con mayúsculas y símbolos alternativos (&&, ||, ¬).
Ejemplos de Equivalencias Lógicas
Resultado de la Simulación
Teoría de Conjuntos
Operaciones de Conjuntos
Define los elementos de los conjuntos A y B, selecciona una operación y visualiza su diagrama de Venn.
Aprende con el diagrama de Venn
Define A y B, elige una operación y calcula. Verás qué elementos pertenecen al resultado.
Elementos calculados
Resultado operación: { 4, 5 }
Cardinalidad: 2
Teoría de Grafos
Constructor de Grafos
Haz clic en el lienzo para crear nodos y aristas.
Algoritmos Visuales
Selecciona dos nodos en el lienzo para calcular el camino más corto o ejecuta un recorrido.
Lienzo Interactivo de Grafos
Agrega nodos para ver la matriz de adyacencia e iniciar caminos mínimos.
Relaciones y Funciones
Definición de Relación Binaria
Define el conjunto A y especifica qué pares ordenados forman la relación R en A x A.
Matriz e Indicadores de Propiedades
Matriz de Adyacencia R
Haz clic en las celdas para activar/desactivar pares en la relación R en tiempo real.
Análisis de Propiedades:
¿Todos los elementos se relacionan con sí mismos? (x, x) ∈ R
Si (x, y) ∈ R, entonces ¿(y, x) ∈ R?
Si (x, y) y (y, z) ∈ R, entonces ¿(x, z) ∈ R?
Si (x, y) y (y, x) ∈ R, entonces ¿x = y?