Programació i algorítmica avançades
GIA 2023-24 - CS - FIB - UPC
Enllaços (alguns requereixen tenir obert el Racó):
Teoria:
-
Slides: 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 ha crescut respecte de l'any passat;
a hores d'ara es considera definitiva.
-
Les parts de Decidibilitat i Complexitat s'han reorganitzat;
l'essència, però, és la mateixa. Les slides són definitives,
excepte que afegirem quelcom més de Complexitat per parlar-ne el
darrer dia de teoria.
-
El 23 i 28 de maig farem lambda-càlcul, fent servir les
slides del professor Jordi Petit.
-
Apunts
sobre funcions recursives parcials, millorada respecte de
versions anteriors i definitiva para 2023-24 excepte per correcció d'errades.
-
Aquest any 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:
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.