1. Introducció general.
2. PRIMERA PART: Teoria de Conjunts.
2.1. La noció de conjunt. La noció de pertinença. El principi d'extensionalitat. Maneres de referir-se a un conjunt: extensió i comprensió. La relació d'inclusió. El conjunt buit. Teoremes bàsics.
2.2. Operacions básiques amb conjunts:
Unió, intersecció i diferència: definicions i propietats bàsiques. Teoremes bàsics. La complementació: definició i propietats bàsiques. El conjunt potència: definició i teoremes bàsics.
2.3. Relacions:
La noció de parell ordenat. La noció de relació. Noció de relació inversa. Tipus de relacions. Relacions d'equivalència i particions. Relacions d'ordre. Tipus d'ordres.
2.4. Funcions: Noció de funció. Domini i recorregut d'una funció. La funció inversa. Tipus de funcions.
3. SEGONA PART: Lògica proposicional.
3.1. Sintaxi i semàntica de la lògica proposicional: Alfabet d'un llenguatge proposicional. Subfórmules i fórmules. Noció d'assignació. Taules de veritat. Tautologies i contradiccions.
3.2. Conseqüència i equivalència lògiques a la lògica proposicional. Interdefinibilitat de connectives. Connectors barra i fletxa. Formes normals.
4. TERCERA PART: Lògica de primer ordre.
4.1. Sintaxi i semàntica d'un llenguatge de primer ordre.
4.2. Conseqüència i equivalència lògiques en primer ordre.
4.3. Càlcul deductiu. Nocions metalògiques: correcció i completesa.