Final 28/09/2019 (Paradigmas)

De Cuba-Wiki
Revisión del 00:21 30 sep 2020 de Fert (discusión | contribs.) (Enunciado del final)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

Final multiple choice que se tomó a través de un cuestionario en el Campus Virtual. Tenías un límite de tiempo de 1.30hs y era a libro abierto. Las respuestas incorrectas restaban 1, las no respondidas sumaban 0 y las correctas sumaban 1. En los casos donde había más de una opción posible, se tomaba algún número intermedio. Se aprobaba con un 60%, para luego pasar a una instancia oral de diez minutos que consistía en alguna pregunta de objetos y repasar las preguntas mal respondidas.

1. Existe tal que y , pero tipa.

a) Verdadero
b) Falso

2. La fórmula es insatisfactible.

a) Verdadero
b) Falso

3. Asumir que se cuenta con un programa en Haskell que define un tipo de dato recursivo paramétrico , un dato y el esquema de recursión estructural para cuyo tipo es:

a) está bien tipado y su evaluación termina independientemente de la definición de .
b) no está bien tipado.
c) está bien tipado, pero su evaluación termina independientemente de la definición de

4. Se propone extender con números enteros. Para ello, se extiende el lenguaje de tipos con y se adopta como sintaxis de términos la misma que . Las reglas de tipado son análogas a las reglas de (donde se usa el tipo en lugar de ). Se extiende el conjunto de valores de :

donde representa al entero negativo .

Las reglas de reducción son todas las reglas de menos (E-PredZero). Es decir, no reduce a .

Decir si el cálculo que se obtiene satisface progreso.

a) Sí
b) No

5. Sea un programa en Prolog que contiene una cláusula de definición . Si se cambia a la cláusula por , entonces:

Seleccione una o más de una:

a) Ninguna de las restantes opciones.
b) El conjunto de soluciones no cambia para toda consulta ground.
c) El conjunto de soluciones no cambia para toda consulta no ground.

6. Sean y los resultados obtenidos de ejecutar dos veces el algoritmo de Unificación de Martelli-Montanari sobre un mismo conjunto de ecuaciones de unificación . Se puede afirmar que:

a) es más general que para todo .
b)
c) Ninguna de las restantes opciones.

7. Considerando la noción de subtipado para registros vista en la materia (regla (S-Rcd)), el juicio de tipado

es derivable si la relación de subtipado para referencias se define de manera:

Seleccione una o más de una:

a) En ningún caso
b) Invariante
c) Contravariante
d) Covariante

8. Para todo programa , el conjunto de soluciones para la consulta coincide con el de las soluciones de

Seleccione una o más de una:

a) Si no es ground.
b) Ninguna de las restantes opciones.
c) Si es ground

9. Sea un conjunto de cláusulas de definición y un goal. El árbol SLD que explora Prolog

a) Ninguna de las restantes opciones.
b) Contiene todas las refutaciones SLD del conjunto
c) Contiene sólo refutaciones lineales del conjunto
d) Contiene todas las refutaciones lineales del conjunto