Log y estruct las tablas 31-X-2017
Lógica de predicados. Semántica. Equivalencia.
Lógica proposicional, tableaux
Lenguaje de la lógica de predicados
logica y struc ief 20-X-2017
log y estruct ief 18-XI-2017
logica y estruct las tablas 17-XI-2017
Lógica proposicional, cálculo de equivalencias y tableaux
log y estruct 11-X-2017
Lógica proposicional, sintaxis y semántica
log y estructuras discretas ief 3/10/2017
