https://www.u-cursos.cl/ingenieria/2014/2/CC5102/1/datos_curso/
CC5102-1 Métodos Lógicos en Ciencias de la Computación