Usar programes que utilitzen càlcul simbòlic per a manejar els conceptes estudiats en aquesta matèria.

Usar les tècniques estàndard de la combinatòria enumerativa i de les funcions generatrius.

Saber resoldre relacions de recurrència de la manera clàssica i mitjançant l’ús de funcions generatrius.

Minimitzar polinomis booleans i relacionar aquest concepte amb el de circuit combinatori.

Manejar el llenguatge i les principals aplicacions de la teoria de grafs. Connectivitat, accessibilitat, planarietat, virtuts dels arbres, algorismes de recerca de millors recorreguts, etc.

Explicar els fonaments de l’àlgebra de Boole, de la lògica proposicional i de la lògica de predicats.

Conèixer i saber utilitzar la teoria enumerativa de Polya.

Conèixer amb profunditat l’anell dels enters i manejar amb soltesa els anells de congruències. Saber i saber aplicar els principals algorismes i teoremes que involucren aquests anells.