Páginas nuevas
De Cuba-Wiki
- 11:34 16 abr 2024 Tourism in Singapore (hist. | editar) [5401 bytes] 45.152.199.129 (discusión) (Página creada con «Are you sick and tired of staying in the same boring resort hotels when arriving at Singapore? Why not try something different and stay at one of these hidden gem hotels instead? From boutique hotels with eclectic decor to luxury accommodations with stunning views, there will be something for all in this list. Step down of your comfort zone as well as experience a truly exclusive stay in just one of these 10 secret gems in Singapore.No matter which trendy boutique hot…»)
- 14:56 4 abr 2024 Final 05/03/24 (Algoritmos II) (hist. | editar) [1584 bytes] 2800:810:4c1:be74:951e:afdd:5e6a:fb95 (discusión) (Página creada con « == Ejercicio 1 == (AED2) eran tres items sobre arreglar operaciones tipo tad == Ejercicio 2 == Describir o demostrar la inexistencia de alguna estructura sobre colas de prioridad con las siguientes operaciones: a. Agregar elemento en O(1) y sacar mínimo elem en O(n) b. Agregar elemento en O(n) y sacar minimo elem en O(1) c. Agregar elemento y sacar mínimo en O(log n) d. Agregar elemento y sacar mínimo en O(log log n) La descripción tiene que incl…»)
- 14:47 4 abr 2024 Final 26/02/24 (Algoritmos II) (hist. | editar) [1716 bytes] 2800:810:4c1:be74:951e:afdd:5e6a:fb95 (discusión) (Página creada con «== Ejercicio 1 == AED: Qué dificultades hay para computar la WP de un ciclo. ¿Como se soluciona en la práctica? AyED2: ¿Por qué decimos que el algoritmo de Karatsuba para multiplicar enteros es más eficente en peor caso de tiempo que el algoritmo tradicional? == Ejercicio 2 == Como puedo sintetizar la postcondición para implementación de un método de un TADs con una representación dada. Brinde un ejemplo (puede ser esquemático) == Ejercicio 3 == ¿Qué p…»)
- 20:01 21 feb 2024 Final 20/02/24 (Algoritmos II) (hist. | editar) [920 bytes] 2800:810:4c1:be74:a590:9b08:5149:506b (discusión) (Página creada con «== Ejercicio 1 == [AED] ¿Si probé la tripla de Hoare [P, C, Q], es cierto que [P', C, Q'] vale para P', Q' tales que P implica P' y Q implica Q'? Justificar [AyED2] ¿Qué parámetros del esquema algorítmico de "divide and conquer" son importantes para calcular su complejidad cuando es aplicado a un problema? == Ejercicio 2 == ¿Para qué sirve el concepto de tipo abstracto de datos a la hora de presentar y usar una estructura de datos que lo implemente? == Ejer…»)
- 21:12 30 ene 2024 Final del 20/12/23 (Teoría de Lenguajes) (hist. | editar) [1574 bytes] 181.85.221.173 (discusión) (Página creada con «==== Ej 1 ==== Demostrar Verdadero o Falso a) Si <math>M = (Q,\Sigma,\delta,q_0,F)</math> es AFD completo y mínimo entonces <math>\overline{M} = (Q,\Sigma,\delta,q_0,Q \backslash F)</math> es AFD completo y mínimo también. b) Sea <math>\Sigma = {0,1}</math>. Para cada AFD <math>M = (Q,\Sigma,\delta,q_0,F)</math> con un estado trampa <math>q_t \in Q</math> y completo sea AFD <math>M' = (Q',\Sigma,\delta',q_0',F)</math> tal que * <math>Q' = Q \cup \{q_0'\}</math>…»)
- 14:51 17 ene 2024 Final 23/02/2023 (Paradigmas) (hist. | editar) [2187 bytes] 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 (discusión) (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 Final 08/03/2023 (Paradigmas) (hist. | editar) [531 bytes] 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 (discusión) (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 Final 05/05/2023 (Paradigmas) (hist. | editar) [307 bytes] 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 (discusión) (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 Final 25/07/2023 (Paradigmas) (hist. | editar) [774 bytes] 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 (discusión) (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 Final 02/08/2023 (Paradigmas) (hist. | editar) [1458 bytes] 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 (discusión) (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 Final 19/11/2023 (Paradigmas) (hist. | editar) [4255 bytes] 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 (discusión) (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 Final 25/10/2023 (Paradigmas) (hist. | editar) [1447 bytes] 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 (discusión) (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 Final 14/12/2023 (Paradigmas) (hist. | editar) [1699 bytes] 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 (discusión) (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 Final 22/12/2023 (Paradigmas) (hist. | editar) [1270 bytes] 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 (discusión) (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…»)
