Teoria de la Computació

Version 2026-2027 Q1
Última actualització: July 20, 2026
Credits & Copyright

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 i 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.