Construcción de

software
OMAR S. GÓMEZ, PH.D.
noviembre, 2020

FACULTAD DE INFORMÁTICA Y ELECTRÓNICA, ESCUELA SUPERIOR POLITÉCNICA DE CHIMBORAZO

 Pregunta
Ya vimos como añadir un elemento al conjunto correspondiente,

¿Cómo se confeccionaría un esquema para remover un elemento

del conjunto de alturas o pesos?

FACULTAD DE INFORMÁTICA Y ELECTRÓNICA, ESCUELA SUPERIOR POLITÉCNICA DE CHIMBORAZO

 Aproximación a la solución
¿Cómo se confeccionaría un esquema para remover un elemento
del conjunto de alturas o pesos?
-Emplear el concepto de substracción de dominio

FACULTAD DE INFORMÁTICA Y ELECTRÓNICA, ESCUELA SUPERIOR POLITÉCNICA DE CHIMBORAZO

 Actividad individual
Pensemos en el dominio de un banco, en donde cada cliente se
identifica por su documento de identidad (DNI o cédula), y sólo
puede tener una caja de ahorro (cuenta bancaria de ahorros),
donde sólo se permite operaciones en efectivo (papel moneda). Es
un banco simple donde no se guarda el historial de transacciones,
sólo se preserva el saldo de cada caja de ahorros.
Por tanto, los clientes sólo pueden extraer, depositar y solicitar el
saldo de su caja. Un cliente puede solicitar el cierre de su caja sólo
si su saldo es igual a 0.

FACULTAD DE INFORMÁTICA Y ELECTRÓNICA, ESCUELA SUPERIOR POLITÉCNICA DE CHIMBORAZO

 Actividad individual (cont.)
Partimos del tipo básico DNI (cédula), donde los clientes se
identifican por su número DNI o cédula.
[DNI]
El estado inicial del banco podemos modelarlo como:

Donde ca, representa el conjunto de cajas o cuentas de ahorro del

banco y que es modelada como una función parcial en la que un
monto de efectivo está asociado a un DNI de una caja de ahorro
determinada.

FACULTAD DE INFORMÁTICA Y ELECTRÓNICA, ESCUELA SUPERIOR POLITÉCNICA DE CHIMBORAZO

 Actividad individual (cont.)
Podemos asumir un estado inicial del banco como:

En el cual no hay aún clientes asignados a alguna caja de ahorro.

Dado lo anterior:
1. Usando la notación Z, define un esquema para agregar un nuevo
cliente (NuevoCliente).
2. Define un esquema para verificar si un cliente existe (ClienteExiste).
3. Define un esquema para efectuar un deposito (Depositar)
Utiliza overleaf para escribir los esquemas antes presentados así como
los restantes.
FACULTAD DE INFORMÁTICA Y ELECTRÓNICA, ESCUELA SUPERIOR POLITÉCNICA DE CHIMBORAZO