UBACS Q&A Foro WikiCS
Fecha actual 25 Abr 2018, 22:55




 Página 1 de 1 [ 1 mensaje ] 
Autor Mensaje
 Asunto: Practica1 ejercicio12
NotaPublicado: 13 Abr 2010, 22:37 
Ayudante de Primera

Registrado: 13 May 2008, 22:57
Mensajes: 160
Ubicación: Gonzalez Catan
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:
(\forall p, t : stock)((ProductosPor...(p) {=}_{obs} ProductosPor...(p)){=>}_{L}(\forall x:ProductosPor...(p))(stockMinimo(p,x)=stockMinimo(t,x)))


Desconectado
 Perfil  
 
Mostrar mensajes previos:  Ordenar por  
 Página 1 de 1 [ 1 mensaje ] 


¿Quién está conectado?

Usuarios navegando por este Foro: No hay usuarios registrados visitando el Foro y 1 invitado


No puede abrir nuevos temas en este Foro
No puede responder a temas en este Foro
No puede editar sus mensajes en este Foro
No puede borrar sus mensajes en este Foro
No puede enviar adjuntos en este Foro

Buscar:
Saltar a:  

cron