Fernando Soler Toscano,Lunes 18:15-19:45
Resolución del examen de febrero 2015 primera semana
Teoría de grafos, teoría y problemas
Combinatoria (2/2)
Combinatoria 1/2
Relaciones y funciones
Teoría de conjuntos
Relaciones
Tableaux en lógica de predicados
Cálculo deductivo
Equivalencias en Lógica de Predicados
Ejercicios sobre semántica de la Lógica de Predicados
Ejercicios sobre tableaux proposicionales
Lenguaje y semántica de la lógica de predicados (I)
Lógica proposicional, lenguaje, semántica, tableaux
