Funciones, concepto, tipos
Conceptos básicos y avanzados de grafos
Variaciones, permutaciones, combinaciones
Funciones
Relaciones
Estructuras discretas, Conjuntos
Fórmulas equivalentes, tableaux
Consecuencia, satisfacibilidad, equivalencia en lógica de predicados
Sintaxis y semántica básica de la lógica de predicados
Tableaux, equivalencias,
Equivalencia, Satisfacibilidad, Consecuencia Lógica
Sintaxis y semántica
Jornada Acogida
Parte de estructuras discretas del Examen Feb 2018 1ª semana
Conceptos avanzados de grafos: recorridos
