Ciencias Informáticas Predicate logic Query languages Bases de Datos Relacionales Computer Uses in Education Cuantificadores de Clausura Transitiva y Punto Fijo Lógica de Primer Orden Queries Relational databases Simulation Teoría de Modelos Finitos base de datos cuantificadores de punto fijo informática minería modelos programación simulación tecnología