Відео

En este segundo video, se explica cómo se realiza el flujo para hacer la consulta del precio y cantidad de un producto, datos que se encuentran en la tabla de un archivo Excel.

En este primer video, se explica cómo hacer la interfaz gráfica de usuario de una app sencilla de una tienda, la cual tendrá un botón para consultar el precio y cantidad de un producto y otro botón para que un cliente dado pueda realizar la compra del producto consultado.

Aquí se implementa el tercer refinamiento al modelo del partido de fútbol.

Aquí se implementa el segundo refinamiento al modelo del partido de fútbol.

Aquí se implementa el primer refinamiento al modelo del partido de fútbol.

Aquí presentamos el primer modelo de un partido de fútbol implementado en Rodin

En este video se explica el proceso de modelado de un partido de fútbol usando Event-B

Este video completa la trilogía de formalización de programas razonando sobre los ciclos.

En este video explico la noción de precondición más débil y cómo encontrarla en diferentes componentes de un programa.

Aquí se introduce la idea de formalizar programas para probar su validez y correctitud.

Este video explica el proceso de unificación en la lógica de primer orden.

Aquí se detalla un poco la cuantificación universal y la existencial, y se dan ejemplos.

Aquí se habla un poco de la lógica de primer orden, su sintaxis y su semántica.

Este video da un vistazo general y básico a la lógica proposicional

Lógica