Lógica en la Informática - Grado

Cuatrimestre de Primavera 2018

Pagina de la Guia docente de la FIB

Profesores:

Robert Nieuwenhuis (Teoria, L11 y L12, responsable de la asignatura; Edif. Omega 139)
Albert Oliveras (L13 y L14; Edif. Omega 114)

Apuntes:

Examenes de cuatrimestres anteriores:

2011. Primavera: parcial, final. Otoño: parcial, final.
2012. Primavera: parcial, final. Otoño: parcial, final.
2013. Primavera: parcial, final. Otoño: parcial, final.
2014. Primavera: parcial, final. Otoño: parcial, final.
2015. Primavera: parcial, final. Otoño: parcial, final.
2016. Primavera: parcial, final. Otoño: parcial, final.
2017. Primavera: parcial, final. Otoño: parcial, final.

Prácticas de laboratorio:

Habrá dos exámenes de labo delante del ordenador, en hora de clase de labo.

  • Las primeras tres prácticas se entregarán (vía Racó) hasta las 23:59 horas del día anterior al primer examen de labo, y las otras dos el día antes del segundo examen de labo. Ésas son las fechas límite de entrega para todo estudiante.
  • Importante: entrega las prácticas a tiempo, hazlas personalmente, y de la forma más clara y sencilla, porque el examen de labo consistirá en implementar una modificacion o ampliación de la práctica que entregaste. Por eso es importante también conservar la práctica que entregaste en tu zona de disco en la FIB, porque durante el examen sólo tendrás acceso allí a tu práctica.
  • La nota de labo (el 40% de la nota total) será la media de los dos exámenes de labo. Cada examen tendrá varios ejercicios, en los que será requisito indispensable su correcto funcionamiento, y adicionalmente se valorará la simplicidad y claridad. Recomendamos una fuerte dedicación a los exámenes de teoría porque será difícil compensar una nota baja de teoría mediante el labo.
  • Calendario orientativo de las sesiones de labo:
    feb 26 : practica 1: sat solver
    mar 05 : practica 1: sat solver
    mar 12 : practica 2: prolog 1
    mar 19 : practica 2: prolog 2
    abr 04 : practica 2: prolog 3
    abr 09 : practica 3: codificación en sat 1
    abr 16 : practica 3: codificación en sat 1
    abr 23 : EXAMEN LABO
    may 03 : practica 4: codificación en sat 2
    may 07 : practica 4: codificación en sat 2
    may 14 : practica 5: constraint logic programming (clp)
    may 28 : practica 5: constraint logic programming (clp)
    jun 04 : EXAMEN LABO