Edición de «Final 02/08/2023 (Paradigmas)»

De Cuba-Wiki
Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si inicias sesión o creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.

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:
- 1) agarra la regla de occur check y la cambia para que en vez de fallar, no hace nada y elimina la ecuación.
1) agarra la regla de occur check y la cambia para que en vez de fallar, no hace nada y elimina la ecuación
- a. Encontrar un problema de unificación donde dependiendo del orden de elección, falle o no falle.
a. Encontrar un problema de unificación donde dependiendo del orden de elección, falle o no falle
- b. Idem pero dependiendo del orden de sustituciones distintas.
b. Idem pero dependiendo del orden de sustituciones distintas
- c. Encontrar un conjunto de clausulas satisfactible desde el cual se pueda llegar a la clausula vacía con esta modificación del algoritmo de mgu.
c. Encontrar un conjunto de clausulas satisfactible desde el cual se pueda llegar a la clausula vacía con esta modificación del algoritmo de mgu
2) dar la lista de todos los predicados sobre naturales donde la preimagen de True sea finita
3) p(a); p(b); q(c); q(d);
r(X) :- not(not(X)), not(not(X))
Describir si falla o no, cual es el resultado y que variables se instancian en caso de que no falle
4) bool <: bool -> bool y viceversa
a. Dar el juicio de tipado de true true. Explicar que propiedad se perdió
b. tipar (\x. x x) (\x. x x) y dar un juicio de tipado. Explicar que propiedad se perdió.
5) calculo sigma. Define el objeto Zero que tiene un mensaje suc y otro que soporta hacer un fold en naturales con caso base 0.
a. Pidió evaluar un término
b. Definir el objeto dup que duplique un número usando el esquema de fold descrito en la consigna


- 2) dar la lista de todos los predicados sobre naturales donde la preimagen de True sea finita.
Sumo lo que me acuerdo:  
 
5)  
- 3) p(a); p(b); q(c); q(d);
a) Se define Zero = [ fold = ∆(i)i.z, suc = §(x)x.fold := ∆(i)i.s(x.fold(i))].El triángulo es una lambda por las dudas
- r(X) :- not(not(X)), not(not(X)).
El termino a evaluar era zero.suc.fold(isZero)
- Describir si falla o no, cual es el resultado y que variables se instancian en caso de que no falle.
b) el dup se esperaba que se use como n.fold(dup) y reduce al objeto que es el doble de n.
 
- 4) bool <: bool -> bool y viceversa.
- a. Dar el juicio de tipado de true true. Explicar que propiedad se perdió
- b. Tipar (\x. x x) (\x. x x) y dar un juicio de tipado. Explicar que propiedad se perdió.
 
- 5) calculo sigma: Define el objeto Zero que tiene un mensaje suc y otro que soporta hacer un fold en naturales con caso base 0.
- a. Pidió evaluar un término. Se define Zero = [ fold = ∆(i)i.z, suc = §(x)x.fold := ∆(i)i.s(x.fold(i))].  
- El triángulo es una lambda por las dudas. El termino a evaluar era zero.suc.fold(isZero).
- b. Definir el objeto dup que duplique un número usando el esquema de fold descrito en la consigna. el dup se esperaba que se use como n.fold(dup) y reduce al objeto que es el doble de n.
Ten en cuenta que todas las contribuciones a Cuba-Wiki pueden ser editadas, modificadas o eliminadas por otros colaboradores. Si no deseas que las modifiquen sin limitaciones, no las publiques aquí.
Al mismo tiempo, asumimos que eres el autor de lo que escribiste, o lo copiaste de una fuente en el dominio público o con licencia libre (véase Cuba-Wiki:Derechos de autor para más detalles). ¡No uses textos con copyright sin permiso!

Para editar esta página, responde la pregunta que aparece abajo (más información):

Cancelar Ayuda de edición (se abre en una ventana nueva)
Obtenido de «https://www.cubawiki.com.ar/index.php/Final_02/08/2023_(Paradigmas)»