La Coruña (A Coruña)-Campus Noroeste - Lógica y…

Equivalencia, Satisfacibilidad, Consecuencia Lógica

Sintaxis y semántica

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