Este documento presenta las notas parciales del primer examen de la asignatura Lógica Computacional dictada en el Departamento de Ingeniería de Sistemas de la Universidad de Pamplona. Contiene el nombre del profesor Hernando Castañeda Marín y la lista de 11 estudiantes con su código, nombre y nota obtenida en las secciones que representan el 15% y 20% de la calificación total.