Todos los registros públicos

Vista combinada de todos los registros de Cuba-Wiki. Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 14:51 17 ene 2024 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión creó la página Final 23/02/2023 (Paradigmas) (Página creada con «- Haskell - Decime como calculo el espejo de un arbol. - Decime como verifico que dos arboles sean espejos entre si - Calculo Lambda - Explicar correctitud - Inferencia de tipos - Explicar el algoritmo de unificacion. Occurs check. - Definir el problema de inferencia - Calculo Sigma - Explicar como se puede definir una funcion. - Explicar como me doy cuenta que un termino se indefine. - Explicar la diferencia entre la semantica oper…»)
• 14:49 17 ene 2024 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión creó la página Final 08/03/2023 (Paradigmas) (Página creada con «Funcional: Dado un árbol binario decidir si es un ABB Lambda cálculo: Explicar progreso+preservación Inferencia: Qué hace el algoritmo W, qué toma como input y qué devuelve Lógica: Por qué no se puede usar resolución binaria en primer orden, por qué está todo bien con usarla en resolución SLD Si el árbol de prolog es siempre igual al SLD Objetos: Clases en sigma cálculo Diferencias en la semántica entre sigma cálculo y lambda cálculo, cómo se e…»)
• 14:48 17 ene 2024 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión creó la página Final 05/05/2023 (Paradigmas) (Página creada con «Cosas que recuerdo que me tomó: - de funcional, folds con una estructura arbitraria - de LC, correctitud, inferencia, fix - de lógico, resolución básica (diferencia binaria y general), lineal y SLD (hice un poco agua y decidió no indagar más XD) - de objetos, big step y definir una estructura (lista)»)
• 14:47 17 ene 2024 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión creó la página Final 25/07/2023 (Paradigmas) (Página creada con «Buenas recién salí del oral, x si a alguno le sirve, me tomo melgratti Funcional. Me tomo hacer una función que toma dos listas y me devuelva si true o false (acá es el truco de foldr que devuelve una función) y en el medio mini preguntitas de que tipo tiene fold r, la función que usa tmb que tipo… etc.. Cálculo lamsa lo de correctutud progreso y preservación Inferencia me preg como el la función de inferencia, y qué pasa si tengo w(x) = {x:May} - x : na…»)
• 14:44 17 ene 2024 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión creó la página Final 02/08/2023 (Paradigmas) (Página creada con «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 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 2) dar la lista de todos los predicados sobre naturale…»)
• 14:41 17 ene 2024 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión creó la página Final 19/11/2023 (Paradigmas) (Página creada con «Prolog: Me pidió dar un programa que genere todos los árboles binarios (con constructores Nil y Bin izq der) de n nodos. Dijo que quizás era muy díficil entones me terminó pidiendo uno que genere las rotaciones de una lista. Sea L=[1, 2,3] => [[1,2,3],[2,3,1],[3,1,2]]. Lambda: Me preguntó si podía existir un término tipable M tal que M M esté bien tipado. Me pidió hacer una derivación de tipos para probar que no existía, acá hubiese estado bueno haber pr…»)
• 14:40 17 ene 2024 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión creó la página Final 25/10/2023 (Paradigmas) (Página creada con «Paseó por toda la materia: Primero un map para una estructura de datos falopa, después el tipo del fold para esa misma estructura. Preservación, un caso con fix, función de inferencia en general y subtipado, qué se pierde con subtipado, resolución de primer orden en un paso y un ejemplo con prolog y cuts. - Funcional: Me dio esta estructura data A a b = C1 a | C2 b | C3 a (A a b) y me preguntó cómo sería map para esa estructura (no me salió de una, así q…»)
• 14:36 17 ene 2024 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión creó la página Final 14/12/2023 (Paradigmas) (Página creada con «1)Haskell: Ejercicio idéntico a otro final. Te dice que hay un tipo de datos recurisvo: D a Tal que foldD::(a - >b - >) -> D a -> b También te dice que tensa un elemento unD:: D Int Y te da: foldD (+) unD Decir si es verdadero o falso que: la expresión tipa pero independientemente de como se defina unD, nunca termina. 2) También, ejercicio similar ya tomado Cambian la regla E-PredSucc por una qué hace: pred(succ(N)) -> N Decir si se pierden alguna, ni una o amba…»)
• 14:33 17 ene 2024 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión creó la página Final 22/12/2023 (Paradigmas) (Página creada con «Ejercicio 1: Te daba dos fórmulas de primer orden y tenias que probar si eran válidas o no. A) \forAll x \Exist y : x + y = x B) (\Exist x (P(x))) v (\Exist x (P(~x))) Ejercicio 2: Define la descomposición en 1 paso de una lista en Prolog. Ejemplo: [2,*3*,1] -> [2, * 2, 1,* 1] Osea, cambia un elemento por dos elementos que sumen el elemento original. Tiene que cumplirse que ambos sean mayores o iguales a uno. Define la descomposición en N pasos que es lo qu…»)