Temas Avanzados en Ingeniería Informática 1 (Lógica)