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.
- 15:24 4 feb 2024 Ffrizzo discusión contribs. trasladó la página Análisis II a Análisis I
- 15:20 4 feb 2024 Ffrizzo discusión contribs. creó la página Algoritmos y Estructuras de Datos II (Página creada con «{{ Plan 1993 | Algoritmos y Estructuras de Datos }} '''Algoritmos y Estructuras de Datos II''' es una materia donde se estudia la especificación formal de tipos de datos, y el diseño de los mismos para su posterior implementación. Tambien se ve, paralelamente, eliminación de la recursión, inducción estructural, métodos algoritmicos y algoritmos de sorting. Según el Plan de la Carrera es una materia a ser cursada en Plan de la Carrera#Segundo año|Segun…»)
- 15:12 4 feb 2024 Ffrizzo discusión contribs. trasladó la página Discusión:Algoritmos y Estructuras de Datos II a Discusión:Algoritmos y Estructuras de Datos sin dejar una redirección
- 15:12 4 feb 2024 Ffrizzo discusión contribs. trasladó la página Algoritmos y Estructuras de Datos II a Algoritmos y Estructuras de Datos sin dejar una redirección
- 15:05 4 feb 2024 Ffrizzo discusión contribs. trasladó la página Cuba-Wiki:Introducción a la Programación a Algoritmos y Estructuras de Datos I sin dejar una redirección
- 14:52 4 feb 2024 Ffrizzo discusión contribs. importó Cuba-Wiki:Introducción a la Programación subiendo un archivo (188 revisiones)
- 14:51 4 feb 2024 Ffrizzo discusión contribs. borró la página Archivo:Introducción a la Programación (el contenido era: «__NOTOC__ '''Introducción a la Programación''' (anteriormente Algoritmos y Estructuras de Datos I) es una de las materias del Primer año que no tiene correlativas además del CBC. <br> En ella se introduce el concepto de especificación, que define las precondiciones y poscondiciones de un algoritmo (el "qué" en vez del "cómo") usando lógica de primer orden, ayudando a elimina…»)
- 14:51 4 feb 2024 Ffrizzo discusión contribs. borró la página Algoritmos y Estructuras de Datos I (el contenido era: «#REDIRECCIÓN Introducción a la Programación», y el único autor fue «Berocs» (discusión))
- 14:50 4 feb 2024 Ffrizzo discusión contribs. importó Archivo:Introducción a la Programación subiendo un archivo (188 revisiones)
- 14:43 4 feb 2024 Ffrizzo discusión contribs. creó la página Sistemas Digitales (Página creada con «{{Plan 2023|Organización del Computador I}} '''Sistemas Digitales''' es una materia obligatoria de la Licenciatura en Ciencias de la Computación, incluida también en su título intermedio Bachiller Universitario en Computación. Su objetivo es presentar los temas fundamentales vinculados con los dispositivos de cómputo, incluyendo sistemas de representación, lógica digital y estructura de computadoras. Según el Plan de Estudios 2023, su carga hor…»)
- 14:41 4 feb 2024 Ffrizzo discusión contribs. creó la página Técnicas de Diseño de Algoritmos (Página creada con «{{Plan 2023|Algoritmos y Estructuras de Datos III}} '''Técnicas de Diseño de Algoritmos''' es una materia obligatoria de la Licenciatura en Ciencias de la Computación, incluida también en su título intermedio Bachiller Universitario en Computación. Su objetivo es describir las principales técnicas usadas para diseñar algoritmos a partir de la identificación de características comunes en los problemas, como por ejemplo búsqueda iterativa, ''divide a…»)
- 14:36 4 feb 2024 Ffrizzo discusión contribs. creó la página Plantilla:Plan 1993 (Página creada con «<div style="border: 1px solid #ccc; padding: .5em .9em; background-color: #FFFCBD;">Esta página es sobre la materia del '''plan de estudios 1993'''.{{#if: {{{1|}}} | Para ver la materia del plan 2023, consultar '''[[{{{1}}}]]'''. | }}</div>»)
- 14:32 4 feb 2024 Ffrizzo discusión contribs. creó la página Paradigmas de Programación (Página creada con «{{Plan 2023|Paradigmas de Lenguajes de Programación}} '''Paradigmas de Programación''' es una materia obligatoria de la Licenciatura en Ciencias de la Computación, incluida también en su título intermedio Bachiller Universitario en Computación. Su objetivo es describir distintos paradigmas de programación con su aplicabilidad, ventajas y desventajas, preparando al alumnado para que pueda entender, comparar y aplicar distintos tipos de lenguajes. Segú…»)
- 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