BLOC TEMÀTIC 1. Àlgebra de Boole, lògica proposicional i de predicats.

Capítol 1: Lògica proposicional: un primer contacte.

Capítol 2: Lògica de predicats.

Capìtol 3: Mètodes de demostració. Inducció.

Capítol 4: Conjunts.

Capítol 5: Àlgebres de Boole.

Capítol 6: Formes normals.

Capítol 7: Funcions booleanes.

Capítol 8: Simplificació de les funcions booleanes (I).

Capítol 9: Simplificació de les funcions booleanes (II).

Capítol 10: Circuits lògics.

BLOC TEMÀTIC 2. Correspondències.

Capítol 11: Relacions binàries.

Capítol 12: Relacions d´equivalència i ordre.

Capítol 13: Aplicacions.

BLOC TEMÀTIC 3. L’anell dels enters. Anells de congruències.

Capítol 14: Estructures algebraiques.

Capítol 15: Els nombres enters.

Capítol 16: Congruències.

BLOC TEMÀTIC 4. Introducció a la teoria de grafs.

Capítol 17: Primers conceptes de teoria de grafs.

Capítol 18:  Arbres i grafs bipartits.

Capítol 19: Grafs eulerians i hamiltonians.

Capítol 20: Grafs i distàncies.

Capítol 21: Grafs plans. Coloreabilitat.

BLOC TEMÀTIC 5. Combinatòria enumerativa. Funcions generatrius.

Capítol 22: Inclusió-exclusió.

Capítol 23: Extraccions i seleccions.

Capítol 24: Camins reticolars.

Capítol 25: Funcions generatrius.

Capítol 26: Recurrència lineal.