Lógica en la Informática - Grado

Cuatrimestre de Otoño 2017

Pagina de la Guia docente de la FIB

Profesores:

Robert Nieuwenhuis (Teoria, L11 y L13, responsable de la asignatura; Edif. Omega 139)
Albert Oliveras (L12 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.

Prácticas de laboratorio:

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

  • Las primeras cuatro 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 (prácticas 5 y 6) 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:
    sep 13/14 : practica 1: sat solver
    sep 20/21 : practica 1: sat solver
    sep 27/28 : practica 2: prolog 1
    oct 04/05 : practica 2: prolog 1
    oct 11/19 : practica 3: prolog 2
    oct 18/26 : practica 3: prolog 2
    oct 25/nov 02 : practica 4: codificación en sat 1
    nov 08/09 : practica 4: codificación en sat 1
    nov 15/16 : EXAMEN LABO
    nov 22/23 : practica 5: codificación en sat 2
    dic 29/30 : practica 5: codificación en sat 2
    dic 13/14 : practica 6: constraint logic programming (clp)
    dic 20/21 : practica 6: constraint logic programming (clp)
    ene 10/11 : EXAMEN LABO