Todos los registros públicos
De Cuba-Wiki
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:28 4 feb 2024 Ffrizzo discusión contribs. importó Plantilla:Infobox subiendo un archivo (1 revisión)
- 14:16 4 feb 2024 Ffrizzo discusión contribs. trasladó la página Plantila:Plan 2023 a Plantilla:Plan 2023 sin dejar una redirección (Typo en nombre)
- 14:16 4 feb 2024 Ffrizzo discusión contribs. creó la página Plantila:Plan 2023 (Página creada con «<div style="border: 1px solid #ccc; padding: .5em .9em;">Esta página es sobre la materia del '''plan de estudios 2023'''. Para ver la materia del plan 1993, consultar [[{{{2}}}|{{{1}}}]].</div>»)
- 14:29 3 feb 2024 Se ha creado la cuenta de usuario Guillermo58 discusión contribs.
- 21:12 30 ene 2024 181.85.221.173 discusión creó la página Final del 20/12/23 (Teoría de Lenguajes) (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>…»)
- 19:43 30 ene 2024 Se ha creado la cuenta de usuario Juanviviani discusión contribs.
- 16:04 18 ene 2024 Thom0408 discusión contribs. creó la página Archivo:12-12-2023 Thomas compressed.pdf
- 16:04 18 ene 2024 Thom0408 discusión contribs. subió Archivo:12-12-2023 Thomas compressed.pdf
- 16:00 18 ene 2024 Se ha creado la cuenta de usuario Thom0408 discusión contribs.
- 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…»)
- 15:35 14 ene 2024 Grunt discusión contribs. creó la página Enlace:https://ubauba-my.sharepoint.com/:b:/g/personal/grunt uba ar/EYg6Ug2BltdEuwFKqzjy-JYB9UeqcgReWPZBPFC2MNVW3w?e=0OphAx (Página creada con «https://ubauba-my.sharepoint.com/:b:/g/personal/grunt_uba_ar/EYg6Ug2BltdEuwFKqzjy-JYB9UeqcgReWPZBPFC2MNVW3w?e=0OphAx»)
- 20:34 3 ene 2024 Qu aos discusión contribs. creó la página Archivo:Orga1 apunte 2023.pdf
- 20:33 3 ene 2024 Qu aos discusión contribs. subió Archivo:Orga1 apunte 2023.pdf
- 22:48 29 dic 2023 Ralo discusión contribs. creó la página Links (Página creada con «- Canal de noticias: https://t.me/NoticiasDC - Canal de recordatorios: https://t.me/RecordatoriosDC - Discord del DC: https://bit.ly/ElDiscordDelDC - Bot del DC: https://t.me/DCUBABOT - Tina: https://t.me/mar_tina_bot - CubaWiki: https://www.cubawiki.com.ar/ - FAQs de CubaWiki: https://www.cubawiki.com.ar/index.php/Faq - Calendario académico: https://calendar.google.com/calendar/embed?src=e1qrrpdi9d2ki9ruibp9gno484%40group.calendar.google.com&ctz=America%2FArgentina%…»)
- 16:09 26 dic 2023 Se ha creado la cuenta de usuario Igna.oromendia discusión contribs.
- 18:01 20 dic 2023 Se ha creado la cuenta de usuario Documento completo discusión contribs.
- 08:41 19 dic 2023 Se ha creado la cuenta de usuario Ebonansea discusión contribs.
- 18:23 17 dic 2023 N. I. discusión contribs. creó la página Archivo:Algebra Final 25-02-2022.pdf
- 18:23 17 dic 2023 N. I. discusión contribs. subió Archivo:Algebra Final 25-02-2022.pdf
- 16:10 17 dic 2023 MnPanic discusión contribs. creó la página Archivo:PLP apunte mnpanic v1.1.pdf (Versión 1.1 de mi apunte de PLP https://github.com/mnPanic/plp/tree/master/final)
- 16:10 17 dic 2023 MnPanic discusión contribs. subió Archivo:PLP apunte mnpanic v1.1.pdf (Versión 1.1 de mi apunte de PLP https://github.com/mnPanic/plp/tree/master/final)
- 18:29 13 dic 2023 Ralo discusión contribs. creó la página Archivo:Plan UBA - CC 23.png
- 18:29 13 dic 2023 Ralo discusión contribs. subió Archivo:Plan UBA - CC 23.png
- 18:28 13 dic 2023 157.92.27.254 discusión creó la página Faq/cursada/plan (Página creada con «Preguntas y respuestas frecuentes sobre el cambio de plan '93 -> '23 Q: ¿Para quién está vigente el plan? A: Para el alumnado que entre a la Facultad en el primer cuatrimestre de 2023 (es decir, incluye a quienes se anotaron al CBC antes). Al ingresar, si quieren seguir la cursada recomendada, deben cursar Álgebra e Introducción a la Programación (que se dictarán por primera vez el primer cuatrimestre de 2023). A medida que vayan avanzando el DC irá dictando…»)
- 14:10 13 dic 2023 Facu2gonzalez2 discusión contribs. creó la página Archivo:Resumen-final-metnum.pdf (Resumen teórico de Métodos Numéricos para el final. 2c2023)
- 14:10 13 dic 2023 Facu2gonzalez2 discusión contribs. subió Archivo:Resumen-final-metnum.pdf (Resumen teórico de Métodos Numéricos para el final. 2c2023)
- 14:06 13 dic 2023 Se ha creado la cuenta de usuario Facu2gonzalez2 discusión contribs.
- 15:38 11 dic 2023 User30 discusión contribs. creó la página Archivo:TP2-Enunciado.pdf
- 15:38 11 dic 2023 User30 discusión contribs. subió Archivo:TP2-Enunciado.pdf
- 15:28 11 dic 2023 User30 discusión contribs. creó la página Archivo:SegundoParcial2023-AED.pdf
- 15:28 11 dic 2023 User30 discusión contribs. subió Archivo:SegundoParcial2023-AED.pdf
- 15:22 11 dic 2023 User30 discusión contribs. creó la página Archivo:PrimerParcial2023-AED.pdf
- 15:22 11 dic 2023 User30 discusión contribs. subió Archivo:PrimerParcial2023-AED.pdf
- 14:06 11 dic 2023 Honi discusión contribs. creó la página Archivo:SisOp 1parcial 03-10-23.pdf
- 14:06 11 dic 2023 Honi discusión contribs. subió Archivo:SisOp 1parcial 03-10-23.pdf
- 14:03 11 dic 2023 Honi discusión contribs. creó la página Archivo:SisOp 2parcial 28-11-23.pdf
- 14:03 11 dic 2023 Honi discusión contribs. subió Archivo:SisOp 2parcial 28-11-23.pdf
- 11:05 11 dic 2023 Se ha creado la cuenta de usuario User30 discusión contribs.
- 21:14 9 dic 2023 PauS discusión contribs. creó la página Archivo:Analisis 1recu 04-12-2023 1parcial.jpg
- 21:14 9 dic 2023 PauS discusión contribs. subió Archivo:Analisis 1recu 04-12-2023 1parcial.jpg
- 15:22 9 dic 2023 LMont discusión contribs. creó la página Archivo:MetNum 1parcial 25-09-23.pdf (Primer parcial del segundo cuatrimestre de 2023)
- 15:22 9 dic 2023 LMont discusión contribs. subió Archivo:MetNum 1parcial 25-09-23.pdf (Primer parcial del segundo cuatrimestre de 2023)