Lógica en la Informática - Grado

Cuatrimestre de Otoño 2020

Pagina de la Guia docente de la FIB

Profesores:

Robert Nieuwenhuis (T10, T20, Labo online, responsable de la asignatura; Edif. Omega 139)
Consultas de teoría: a) tras cada clase de teoría, b) por mail a roberto [AT] cs.upc.edu o c) en el despacho (si no estoy pide hora via mail)
Consultas de labo: a) durante la clase de labo online, o b) en el despacho.

José Miguel Rivero (Labo online; Edif. Omega 110)
Consultas: a) durante la clase de labo online, o b) por mail a rivero [AT] cs.upc.edu o c) en el despacho (si no estoy pide hora via mail)

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    parcial resuelto    final    final resuelto    Otoño:   parcial    parcial resuelto    final    final resuelto   
2017. Primavera:   parcial    parcial resuelto    final    final resuelto    Otoño:   parcial    parcial resuelto    final    final resuelto   
2018. Primavera:   parcial    parcial resuelto final    final resuelto Otoño:   parcial    parcial resuelto final    final resuelto
2019. Primavera:   parcial    parcial resuelto final    final resuelto Otoño:   parcial    parcial resuelto final    final resuelto
2020. Primavera:      final    final resuelto

Prácticas de laboratorio:

Habrá dos exámenes presenciales de labo delante del ordenador.

  • 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.
  • La nota de labo (el 40% de la nota total) será la del examen de labo, en el que será requisito indispensable su correcto funcionamiento, y adicionalmente se valorará la simplicidad y claridad. Recomendamos una fuerte dedicación a la teoría porque será difícil compensar una nota baja de teoría mediante el labo.

  • Calendario de labo (grupos 20x / 10x):
    21 sep / 23 sep : practica 1: sat solver
    28 sep / 30 sep : practica 1: sat solver
    05 oct / 07 oct : practica 2: prolog
    19 oct / 14 oct : practica 2: prolog
    26 oct / 21 oct : practica 3: codificación en sat
    02 nov / 28 oct : practica 3: codificación en sat
    09 noviembre : EXAMEN LABO
    16 nov / 11 nov : practica 4: optimización en sat
    23 nov / 18 nov : practica 4: optimización en sat
    30 nov / 25 nov : practica 5: prolog avanzado
    07 dic / 02 dic : practica 5: prolog avanzado
    14 dic / 09 dic : practica 6: constraint logic programming (clp)
    21 dic / 16 dic : practica 6: constraint logic programming (clp)
    07 enero : EXAMEN LABO