Lógica en la Informática - Grado

Cuatrimestre de Otoño 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.
2018. Primavera: 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 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 de las sesiones de labo, grupos 11 y 13 (martes 16-18h):
    11 sep : no hay clase
    18 sep : practica 1: sat solver
    25 sep : practica 1: sat solver
    02 oct : practica 2: prolog
    09 oct : practica 2: prolog
    16 oct : practica 3: codificación en sat
    23 oct : practica 3: codificación en sat
    30 oct : EXAMEN LABO
    06 nov : practica 4: optimización en sat
    13 nov : practica 4: optimización en sat
    20 nov : practica 5: prolog avanzado
    27 nov : practica 5: prolog avanzado
    04 dic : practica 6: constraint logic programming (clp)
    11 dic : practica 6: constraint logic programming (clp)
    18 dic : EXAMEN LABO


  • Calendario de las sesiones de labo, grupos 12 y 14 (jueves 18-20h):
    06 sep : practica 1: sat solver
    13 sep : practica 1: sat solver
    20 sep : practica 2: prolog
    27 sep : practica 2: prolog
    04 oct : practica 3: codificación en sat
    11 oct : practica 3: codificación en sat
    18 oct : EXAMEN LABO
    25 oct : practica 4: optimización en sat
    01 nov : no hay clase
    08 nov : practica 4: optimización en sat
    15 nov : practica 5: prolog avanzado
    22 nov : practica 5: prolog avanzado
    29 nov : practica 6: constraint logic programming (clp)
    06 dic : no hay clase
    13 dic : practica 6: constraint logic programming (clp)
    20 dic : EXAMEN LABO