Diferencia entre revisiones de «Final 28/09/2020 (Paradigmas)»
Etiqueta: Deshacer |
m (faltaba un "no") Etiqueta: Reversión manual |
||
| Línea 15: | Línea 15: | ||
: a) <math>foldD \ (+) \ unD</math> está bien tipado y su evaluación termina independientemente de la definición de <math>unD</math>. | : a) <math>foldD \ (+) \ unD</math> está bien tipado y su evaluación termina independientemente de la definición de <math>unD</math>. | ||
: b) <math>foldD \ (+) \ unD</math> no está bien tipado. | : b) <math>foldD \ (+) \ unD</math> no está bien tipado. | ||
: c) <math>foldD \ (+) \ unD</math> está bien tipado, pero su evaluación termina independientemente de la definición de <math>unD</math> | : c) <math>foldD \ (+) \ unD</math> está bien tipado, pero su evaluación no termina independientemente de la definición de <math>unD</math> | ||
<b>4.</b> Se propone extender <math>\lambda^{b}</math> con números enteros. Para ello, se extiende el lenguaje de tipos con <math>Int</math> y se adopta como sintaxis de términos la misma que <math>\lambda^{b, n}</math>. Las reglas de tipado son análogas a las reglas de <math>\lambda^{b, n}</math> (donde se usa el tipo <math>Int</math> en lugar de <math>Nat</math>). Se extiende el conjunto de valores de <math>\lambda^{b}</math>: | <b>4.</b> Se propone extender <math>\lambda^{b}</math> con números enteros. Para ello, se extiende el lenguaje de tipos con <math>Int</math> y se adopta como sintaxis de términos la misma que <math>\lambda^{b, n}</math>. Las reglas de tipado son análogas a las reglas de <math>\lambda^{b, n}</math> (donde se usa el tipo <math>Int</math> en lugar de <math>Nat</math>). Se extiende el conjunto de valores de <math>\lambda^{b}</math>: | ||
Revisión del 15:15 8 sep 2021
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 Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle M \in \lambda^{b, n, fix} } tal que Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle W(Erase(M)) = \emptyset \vdash M' : \sigma \rightarrow \rho } y Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \sigma \neq \rho } , pero Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle fix \ M } tipa.
- a) Verdadero
- b) Falso
2. La fórmula Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \{ \{P(X, f(X)) \}, \{ \lnot P(a, X) \} \} } 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 Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle D \ a} , un dato Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle unD :: D \ Int} y el esquema de recursión estructural para Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle D \ a} cuyo tipo es:
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle foldD :: (a \rightarrow b \rightarrow b) \rightarrow D \ a \rightarrow b }
- a) Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle foldD \ (+) \ unD} está bien tipado y su evaluación termina independientemente de la definición de Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle unD} .
- b) Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle foldD \ (+) \ unD} no está bien tipado.
- c) Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle foldD \ (+) \ unD} está bien tipado, pero su evaluación no termina independientemente de la definición de Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle unD}
4. Se propone extender Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \lambda^{b}} con números enteros. Para ello, se extiende el lenguaje de tipos con Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle Int} y se adopta como sintaxis de términos la misma que Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \lambda^{b, n}} . Las reglas de tipado son análogas a las reglas de Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \lambda^{b, n}} (donde se usa el tipo Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle Int} en lugar de Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle Nat} ). Se extiende el conjunto de valores de Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \lambda^{b}} :
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle V ::= \ ... \ | \ succ^{n}(0) \ | \ pred^{n}(0) }
donde Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle pred^{n}(0)} representa al entero negativo Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle -n} .
Las reglas de reducción son todas las reglas de Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \lambda^{b, n}} menos (E-PredZero). Es decir, Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle pred(0)} no reduce a Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle 0} .
Decir si el cálculo que se obtiene satisface progreso.
- a) Sí
- b) No
5. Sea Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P} un programa en Prolog que contiene una cláusula de definición Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle A :- \ B_{1}, B_{2}, ..., B_{n}} . Si se cambia a la cláusula por Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle A :- \ !, B_{1}, B_{2}, ..., B_{n}} , 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 Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle S_{0}} y Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle S_{1}} los resultados obtenidos de ejecutar dos veces el algoritmo de Unificación de Martelli-Montanari sobre un mismo conjunto de ecuaciones de unificación Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle C} . Se puede afirmar que:
- a) Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle S_{i}} es más general que Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle S_{1 - i}} para todo Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle i \in \{0, \ 1 \}} .
- b) Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle S_{0} = S_{1}}
- 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
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \{ f \ : \ Ref(Nat \rightarrow \{\})\} \vdash f := \ \lambda x : Nat. \{ l = x \} : Unit}
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 Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P} , el conjunto de soluciones para la consulta Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle not(G)} coincide con el de las soluciones de Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle not(G), \ not(G)}
Seleccione una o más de una:
- a) Si Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle G} no es ground.
- b) Ninguna de las restantes opciones.
- c) Si Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle G} es ground
9. Sea Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P} un conjunto de cláusulas de definición y Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle G} un goal. El árbol SLD que explora Prolog
- a) Ninguna de las restantes opciones.
- b) Contiene todas las refutaciones SLD del conjunto Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P \cup \{G\}}
- c) Contiene sólo refutaciones lineales del conjunto Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P \cup \{G\}}
- d) Contiene todas las refutaciones lineales del conjunto Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P \cup \{G\}}
Preguntas de objetos tomada en el oral:
- Si habías visto Smalltalk, ¿en qué se parecen y diferencian block de la abstracción Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \lambda} ?
- Si habías visto Cálculo Sigma, ¿cuál es la diferencia en la semántica operacional con Cálculo Lambda? (Hablar de small-step y big-step)
