|
Fecha actual 07 May 2024, 13:54
|
Buscar temas sin respuesta | Ver temas activos
|
Página 1 de 1 [ 3 mensajes ] |
|
|
|
|
|
Autor |
Mensaje |
nadia
|
Asunto: Ejercicios para entrenarse coloquio/final Publicado: 22 Dic 2009, 01:04 |
Ayudante de Segunda |
|
Registrado: 20 May 2008, 16:55 Mensajes: 53 Ubicación: Bzco.
|
Ej 2- Sea (P,Q) la especificación de un problema, donde P es la precondición y Q es la postcondición. Sea un programa foo correcto respecto de (P.Q). Indicar verdadero o falso y justificar:
4. foo es correcto respecto de (P, P) 5. foo es correcto respecto de (Q,P) 6. foo es correcto respecto de (Q,Q)
para mi 4 y 6 son verdaderas, ya que si tomamos P= Q = true (p,q) todo programa es correcto y tambien lo es (P,P), y si P=Q= false, (p,q) todo programa es correcto y tambien lo es para (P,P). idem para (q,q). esta bien? y para el 6 si es verdad que (p,q) = (q,p) con p y q los mismos valores de verdad para que sea un programa correcto, digo p=q=true entonces es correcto que (p,q) entonces tambien lo es (q,p). esta bien?
|
|
|
|
|
FJL
|
Asunto: Re: Ejercicios para entrenarse coloquio/final Publicado: 22 Dic 2009, 11:49 |
Profesor |
|
Registrado: 26 Abr 2009, 20:28 Mensajes: 224 Ubicación: Colegiales, Capital Federal
|
No podés elegir que P y Q tomar. Claro que si elegís algunas en particular, o elegís el programa, podés hacer que sean ciertas, pero estás hablando para todo programa, para todo P, y para todo Q.
De la manera que lo leo yo, las tres son falsas - no tiene por qué cumplirse la precondición como postcondición (dame un arreglo vacío, te lo lleno), y no tiene por qué cumplirse la postcondición como precondición (mi postcondición es un arreglo ordenado, y mi programa asume que va a estar ordenado en orden inverso al entrar. Si me das un arreglo ordenado bien de entrada, te puedo devolver cualquier cosa, si mi programa no esperaba eso).
_________________ Por qué los poetas usan integrales?
|
|
|
|
|
nadia
|
Asunto: Re: Ejercicios para entrenarse coloquio/final Publicado: 22 Dic 2009, 16:55 |
Ayudante de Segunda |
|
Registrado: 20 May 2008, 16:55 Mensajes: 53 Ubicación: Bzco.
|
ok.Entendi tu forma de pensarlo. Gracias!
|
|
|
|
|
|
|
|
|
|
|
Página 1 de 1 [ 3 mensajes ] |
|
|
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
|
|