Final 08/08/2017 (Paradigmas)

De Cuba-Wiki
Revisión del 01:20 16 ago 2017 de 190.139.150.10 (discusión) (Página creada con «# Dado f a b = b: (a (-b)) decir que representa la expresión fix f 1 # Dado los términos: <math> U1 = (\lambda x.\lambda y. xy) (\lambda z. z) (\lambda w. w)</math> y <ma...»)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)
  1. Dado f a b = b: (a (-b)) decir que representa la expresión fix f 1
  2. Dado los términos: y . Ver y justificar. ¿El algoritmo de inferencia de tipos infiere el mismo resultado para ambos?.
  3. Dado el programa programa en Prolog:
    1. P(X) :- ! , Q(X)
    2. P(X) :- R(X)
      1. Indicar verdadero o falso para cualquier Q(X), R(X):
        1. El cut de (i) se puede eliminar sin alterar el conjunto de soluciones.
        2. El conjunto de soluciones no se modifica si la segunda regla se cambia por P(X) :- ! , R(X)
  4. Dado : y , indicar verdadero o falso:
    1. es resolvente de C1 y C2.
    2. C3 puede obtenerse en un único paso de resolución SLD a partir de C1 y C2. (Falso, por que SLD resuelve una sóla clasula del goal)
  5. Explicar qué pasaría si re definimos (S-func) de la siguiente manera: Error al representar (error de sintaxis): {\displaystyle \frac{\sigma <: \sigma’ \quad \tau <: \tau’
}{\sigma -> \tau <: \sigma’ -> \tau’} }
  6. Objetos
    1. Seguimiento. Clase A, m:^1, n:^self m. Clase B n: super n. Clase C, n:^2, Clase D ...
      1. Indicar objetos y mensajes de: ( ClaseD new ) n
      2. Realizar lo mismo, pero agregando a ClaseC new: ^ClaseB new.