Final 18/09/2019 (Paradigmas)

De Cuba-Wiki
Revisión del 03:35 27 sep 2019 de Puter (discusión | contribs.)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

1. V o F. Sea M derivable en calculo lambda.

  1. tal que
  2. tal que

2.dos terminos de

  1. Decir si existen tales que y pero
  2. Decir si existen tales que y

3.Dar la regla de subtipado para el If-Then-Else.

4.Mostrar que pasaba si cambiabas el orden de las reglas de semántica operacional de E-Assign1 y E-Assign2. (Proponian primero reducir la parte derecha de la asignación y luego la izquierda)

5. Prolog. Había un programa simple y una variante con un cut y preguntaba si eran distintas las soluciones en los dos programas con consultas ground.

6. Pregunta de resolución tenias algo asi como {P,P},{-P}. Preguntaba si habia resolvente y si podía resolverse en un sólo paso.

7. Ejercicios de seguimiento clásicos de Smalltalk.