Edición de «Final 13/12/2016 (Paradigmas)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
| Revisión actual | Tu texto | ||
| Línea 1: | Línea 1: | ||
Era escrito (5 personas dando el final). Era a libro abierto y constaba de 7 puntos. Pedida que las respuestas sean lo más cortas y concretas posibles (ej, media carialla). Llegabas medio justo con el tiempo. | Era escrito (5 personas dando el final). Era a libro abierto y constaba de 7 puntos. Pedida que las respuestas sean lo más cortas y concretas posibles (ej, media carialla). Llegabas medio justo con el tiempo. | ||
1. Dadas: | 1. Dadas: | ||
l = 1:l | l = 1:l | ||
| Línea 11: | Línea 11: | ||
explicar cual es el resultado de evaluar f l y g l | explicar cual es el resultado de evaluar f l y g l | ||
2. Es correcto cambiar la regla de semántica del fix por: fix V -> V (fix V) ? | 2. Es correcto cambiar la regla de semántica del fix por: fix V -> V (fix V) ? | ||
3. Extendemos el calculo lambda con el operador suma (+), que vendría a ser como un Either en Haskell. Nos dan las reglas de tipado: | 3. Extendemos el calculo lambda con el operador suma (+), que vendría a ser como un Either en Haskell. Nos dan las reglas de tipado: | ||
\-----------------------------------\ | \-----------------------------------\ | ||
| Línea 35: | Línea 35: | ||
Mostrar que problemas trae a las propiedades del sistema de tipado. | Mostrar que problemas trae a las propiedades del sistema de tipado. | ||
4. Mostrar con un ejemplo concreto que pasa si le quitamos a la regla de inferencia del Abs la parte de: Gamma' = Gamma - {x} | 4. Mostrar con un ejemplo concreto que pasa si le quitamos a la regla de inferencia del Abs la parte de: Gamma' = Gamma - {x} | ||
5. Dado el programa en prolog: | 5. Dado el programa en prolog: | ||
a(1). | a(1). | ||
| Línea 53: | Línea 53: | ||
ii. p(X,Y) :- not(member(Z,X)), a(Z), P([Z|X], Y). | ii. p(X,Y) :- not(member(Z,X)), a(Z), P([Z|X], Y). | ||
6. Verdadero o Falso justificando: | 6. Verdadero o Falso justificando: | ||
a. Es cierto que las clausulas {P(x,f(y)}, {P(y,y} no se pueden refutar ya que no unifican ? | a. Es cierto que las clausulas {P(x,f(y)}, {P(y,y} no se pueden refutar ya que no unifican ? | ||
| Línea 62: | Línea 62: | ||
2. Si existe refutación para \lnot G, entonces F es válida | 2. Si existe refutación para \lnot G, entonces F es válida | ||
7. Eran unas clases en Smalltalk, había que hacer 2 seguimientos. | 7. Eran unas clases en Smalltalk, había que hacer 2 seguimientos. | ||
