Este blog es una continuación Vestigium en el que se seguirá publicando reseña de las actividades sobre lógica computacional, programación funcional y razonamiento asistido por ordenador.