Text this: El uso de la lógica matemática en la carrera de Ingeniería Informática de la Universidad de Matanzas