Temas Subtemas
1. Razoamento Lóxico Lóxica proposicional: proposicións e operadores lóxicos
Implicacións e Equivalencias Lóxicas
Métodos de demostración: Táboas semánticas, principio de inducción
Lóxica de predicados
Formas normais
2.- Conxuntos, aplicacións e relacións Teoría básica de conxuntos: elementos, subconxuntos
Aplicacións, tipos de aplicacións, composición de aplicacións
Relacións binarias, propiedades
Relacións de equivalencia, clases de equivalencia e conxunto cociente
Relacións de orde, elementos distinguidos, diagrama de Hasse
3.- Combinatoria e Recurrencia Principios básicos de conteo
Variacións, permutaións e combinacións
Coeficientes binomiais e multinomiais
Principio de inclusión-exclusión
Sucesións recurrentes
Resolución de ecuacións de recurrencia. Aplicacións
4.-Grafos. Grafos non dirixidos: conceptos básicos
Grafos dirixidos: conceptos básicos
Conectividade
Árbores con e sin raíz
Exploración de árbores
Grafos ponderados: o problema da árbore xeradora minimal