Prácticas en #Fundamentos Lógicos de la Informática