Teoria de la Computació
Última actualització: 2026-02-10
Version 2025-2026 Q2
Aquest curs ofereix una introducció a la teoria de la computació. S’hi exploren temes clau com els models formals de llenguatges, els autòmats finits i els llenguatges regulars, els llenguatges incontextuals, les màquines de Turing i la teoria de la computabilitat, així com una ullada a la teoria de la complexitat computacional.
L’objectiu principal és aprofundir en la comprensió de la informàtica per part de l’estudiant tot introduint una perspectiva filosòfica—plantejant qüestions fonamentals com:
Què és computable i què no?
i
Per què alguns problemes computacionals són fàcils, d’altres difícils, i alguns impossibles de resoldre?
Els conceptes i tècniques presentats són deliberadament fonamentals, pensats per mantenir la seva rellevància independentment dels canvis en el maquinari o el programari.
El curs inclou un contingut matemàtic important. Es preveu que els estudiants tinguin experiència prèvia amb el concepte de demostració i un cert grau de maduresa matemàtica. Per a aquells que compleixin aquests requisits i sentin curiositat pels límits teòrics de la computació, el curs promet ser intel·lectualment estimulant i alhora gratificant.