Links a videos de Lógica y Estructuras Discretas en YouTube

(profesor Manuel Sierra)

Videos de Lógica
1. Simbolización en Lógica de Predicados Monádicos

2. Modelos finitos

3. Reglas para los Árboles de Forzamiento Semántico con predicados monádicos

4. 3 ejemplos de Árboles de Forzamiento Semántico para la Lógica de Predicados Monádicos

5. Reglas de inferencia para los cuantificadores

6. Prueba de la corrección de argumentos de la Lógica de Predicados Monádicos

7. Arboles de Forzamiento Semántico para la Lógica de Relaciones

8. Inferencia en Lógica de Relaciones

9. Inferencia en Lógica de Relaciones con Identidad

10. Arboles de Forzamiento Semántico para la Lógica de Relaciones con Identidad

11. Simbolización en la Lógica de Relaciones con Identidad

Videos de Estructuras Discretas

1. Funciones

2. Funciones inyectivas, sobreyectivas e inversas

3. Composición de funciones

4. Cardinalidad

5. Relaciones de Equivalencia. Parte-1.

4. Relaciones de Equivalencia. Parte-2.

Diapositivas de Lógica y de Estructuras Discretas
1. Presentaciones de Estructuras Discretas

2. Presentaciones de Lógica

Cálculo
Derivada y antiderivada de la raíz de una potencia entera