especifique un tipo abstracto de datos STOCK que permita las siguientes funcionalidades *Registrar un nuevo producto con su stock minimo(un natura) *Registrar las compras y las ventas de un producto, indicando la cantidad de los elementos comprados y vendidos respectivamente *Permitir que sea informado un producto sustituto por otro dado *Devolver el conjunto de todos los productos con stock debajo del minimo que no tengan sustituto, o bien tales que el total des stock del producto mas el de su sustituto esté por debajo del minimo
esto es lo que hice yo
Obs basicos ProductosPorDebajoDelStockMinimo: stock -> conj(producto) stockMinimo: stock s x producto p -> nat { p \in productos(s)}
generadores crearStock -> stock registrarProducto: stock s x producto p x nat n -> stock {p \in productos(s) y n >0} registrarCompra: stock s x producto p x nat n -> stock {p \in productos(s)} registrarVenta: stock s x producto p x nat -> stock {p\in productos(s) y n>=stockDisponible(s,p)} definirSustituto: stock s x producto p x producto t -> stock {¬(p\in productos(s)) y t \in productos(s)}
igualdad Observacional:
|