Promoción de operaciones en notación Z (02)

Esté es un vídeo destinado más que nada a los estudiantes de Ingeniería de Software 1 de la Universidad Nacional de Rosario (Argentina).
Introducción a la promoción de operaciones en notación Z; esquema marco de promoción

[@justosotomanrique2581]

Buenos días maestro. Espero que estés pasándola bien en estos momentos tan complicados para todos. No queda más que agradecerte por tu muestra de solidaridad en estos momentos que tanto lo necesitas el mundo, mil gracias

[@MaximilianoCristiaIS]

De nada y gracias a vos por tu comentario y por visitar el canal.

[@alvabarroso]

Hola profe, gracias por el video!
Puede ser que en el último pizzaron haya faltado el d? : DNI en ExtraerOk==[CajaAhorrosABanco; d? : DNI | d? |-> n? \in tits ] ^ CAExtraerOk

[@MaximilianoCristiaIS]

Sí, tenés razón me olvidé de escribirlo. Esto es lo feo de los vídeos: si te mandás una macana no hay cómo corregirla, queda ahí.