Buscar
Mostrando ítems 21-24 de 24
Cuantificadores, ejemplo 3
(2018-02-03)
En este vídeo se presenta un ejemplo de validación de una proposición cuantificada con dos cuantificadores anidados de la forma “existe” “para todo” . En él se da una argumentación que verifica que dicha proposición es falsa.
Grafos dirigidos
(2018-12-19)
En el presente vídeo se presentan los conceptos de nodo, flecha y lazo correspondientes a las partes que componen a un grafo dirigido. Además, define lo que es el grafo dirigido asociado una relación binaria de un conjunto ...
Relaciones binarias: propiedad antisimétrica
(2018-12-19)
En el presente vídeo se define la propiedad antisimétrica de una relación binaria definida de un conjunto sobre si mismo. Se hace una interpretación gráfica de dicha propiedad desde el punto de vista del grafo dirigido ...
Operaciones: Multiplicación de matrices booleanas, parte 2
(2018-12-19)
En el presente vídeo se define la operación multiplicación de matrices booleanas, y la interpretación de sus resultados en términos de relaciones relacionando esta con la composición de relaciones binarias. Este vídeo ...