PAA - GIA

Programació i algorítmica avançades

GIA 2023-24 - CS - FIB - UPC

Enllaços (alguns requereixen tenir obert el Racó):

Teoria:

Contingut aproximat de les sessions:
- La part de llenguatges formals és la de l'any passat; aquest any s'ha fet a la pissarra sense transparències oficials. L'essència del contingut és la mateixa.
- La part d'Algorítmica anirá creixent una mica amb exemples addicionals a mesura que es desenvolupi.
- Les parts de Decidibilitat i Complexitat es reorganitzaran; l'essència, però, serà la mateixa.
- Aquest any probablement omitirem Algoritmes Randomitzats i Computació Quàntica per tal de dedicar més temps a explicar en més detall i fer més exercicis de la part de Búsqueda Combinatòria.

Laboratoris:

Guia general de Laboratori.
Exemples de programes relacionats amb l'esquema de backtracking. Inclou els programes que vam fer servir al Laboratori del 19 de març de 2024, els exemples de la sessió de Teoria del 21 de març, i més.
Tindrem una sessió sobre lambda-càlcul, prevista per maig: apunts del professor Jordi Petit i exercicis.

Recursos addicionals:

Jutge: Enroleu-vos (si no ho heu fet ja) al curs Programació i Algorítmica Avançades (haurieu d'haver rebut una invitació; feu-ho saber als professors si no l'heu rebuda). També recomanem el curs públic Ad Computationem vIA reGIA on podreu provar problemes de PA1 i PA2 i continuar practicant la programació i, en particular, la recursivitat.