Lògica en la Informàtica

Quadrimestre de Primavera 2022.

Pagina de la Guia docente de la FIB

Profesores:

Robert Nieuwenhuis, responsable de la asignatura; Edif. Omega 139:
Teoría 10: martes 08-10h, A6E02
Teoría 20: martes 16-18h, A6E02
Labo 11: miércoles 08-10h, A5S104
Labo 12: miércoles 10-12h, C6S308
Labo 21: miércoles 18-20h, A5S108
Consultas: a) después de clase o b) en el despacho (si no estoy pide hora via mail), o c) por mail a roberto [AT] cs.upc.edu .

José Miguel Rivero, Edif. Omega 110:
Labo 13: miércoles 08-10h, C6S306
Labo 22: miércoles 18-20h, A5S109
Consultas: a) durante la clase o b) por mail a rivero [AT] cs.upc.edu o c) en el despacho (si no estoy pide hora via mail)

Atenció:

Si feu consultes via mail, sisplau NO feu servir captures de pantalla amb codi. Preferim poder contestar editant o seleccionant troços del vostre missatge per poder contestar.

Apuntes:

Exámenes:

Los enunciados de los exámenes de teoría y de laboratorio son en inglés. No influye en la nota de LI si contestas en català, castellano o english (o un mix de los tres). Pero si contestas en inglés te puede subir la nota de la competencia transversal de inglés.

Exámenes 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:   - (covid)    - (covid)    final    final resuelto Otoño:   parcial    parcial resuelto final    final resuelto
2021. Primavera:   parcial    parcial resuelto final    final resuelto Otoño:   parcial    parcial resuelto final    final resuelto
2022. Primavera:   parcial    parcial resuelto final    final resuelto

Prácticas de laboratorio:

Habrá dos exámenes presenciales de labo delante del ordenador. Atención: Este cuatrimestre vuelve a haber semana de exámenes parciales, con examen parcial de teoría de LI y el primer examen de labo de LI.

  • 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 de labo 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 la teoría porque será difícil compensar una nota baja de teoría mediante el labo.

  • Calendario de labo:
    16 feb : practica 1: sat solver
    23 feb : practica 1: sat solver
    02 mar : practica 2: prolog
    09 mar : practica 2: prolog
    16 mar : practica 3: codificación en sat
    23 mar : practica 3: codificación en sat
    30 mar : practica 4: optimización en sat
    01 abr : EXAMEN LABO 10:30 - 12:00h
    20 abr : practica 4: optimización en sat
    27 may : practica 5: prolog avanzado
    04 may : practica 5: prolog avanzado
    11 may : practica 6: constraint logic programming (clp)
    18 may : practica 6: constraint logic programming (clp)
    02 jun : EXAMEN LABO 15:00 - 16:30h