Alejandra María Rodríguez Fernández,Miércoles 16:00-17:00
Parte de estructuras discretas del Examen Feb 2018 1ª semana
Consecuencia, validez, tautología
Lógica de predicados, lenguaje, semántica
Equivalencias básicas, tableaux
Consecuencia, Satisfacibilidad, equivalencia
Sintaxis y Semántica
Jornada Acogida
Conceptos avanzados de grafos: recorridos
Grafos, aristas, caminos
Combinatoria
