Área personal / Mis cursos / INF-282 / Capítulo 1: Lógica de Hoare / 1er Parcial

Comenzado el domingo, 24 de mayo de 2020, 08:02

Estado Finalizado
Finalizado en domingo, 24 de mayo de 2020, 08:21
Tiempo empleado 18 minutos 56 segundos
Calificación 20,00 de 20,00 (100%)

Pregunta 1 Mediante los axiomas 5 y 6 determinar la resultante:

Correcta
A{R <- S}{Z <- A(X)}{P <- Z}{Y <- X}(Z) = ?
Puntúa 6,00
sobre 6,00 Seleccione la respuesta correcta:

Seleccione una:
R

A(X)  Si es la respuesta :)

Ninguna de las anteriores

Respuesta correcta

Pregunta 2 Sabiendo que: 

Correcta
E2:      A 
Puntúa 7,00 E1:      B
sobre 7,00
V:        K
P[E2+1/V]:     X = A + 1 + Y

Determinar:

P[E1/V] = ?

Seleccione una:
X=K+1+Y

X = K +Y

X=B+Y Es la respuesta :)

X=A+1+Y

Ninguna de las anteriores

Respuesta correcta
Pregunta 3 Sea la tripleta:
Correcta
{ ? } E:=E*S ; C:=C*S ; A:=A*S { ? }
Puntúa 7,00
sobre 7,00 Escoja la invariante: 

Seleccione una:
A=B+E+C

 Ninguna de las anteriores

A = B*C + E  Es la respuesta :)

A = A + B*C*E

A = A*E + B*C

Respuesta correcta

← Curso de Logica de Hoare Ir a... Curso: Precondición débil de Dijkstra →