Revisión actual |
Tu texto |
Línea 8: |
Línea 8: |
|
| |
|
| Fue medio jodido el final con muchos momentos de no saber qué responder pero al final siento que fue copado con la nota. | | Fue medio jodido el final con muchos momentos de no saber qué responder pero al final siento que fue copado con la nota. |
|
| |
| ----
| |
|
| |
| Prolog: dado un alfabeto generar todas las posibles combinaciones de símbolos (de cualquier tamaño, podían contener repetidos)
| |
|
| |
| Lógica: me dio la fórmula “para todo x existe y tal que x = y” y me preguntó si era válida (rta: no es válida porque depende de que la definición de igualdad haga que sea reflexiva) me dijo que escriba esa propiedad y que pruebe que la fórmula es válida (igualdad reflexiva -> la fórmula que me dio) usando resolución
| |
|
| |
| Al usar resolución apareció un MGU y me pregunto sobre el algoritmo, que le diga la entrada, la salida y qué tiene que cumplir la salida. Me dio un conjunto de ecuaciones y me dijo que lo resuelva con el algoritmo: {x =•= f(y), y =•= x}
| |
|
| |
| JavaScript: me dijo que tenes objetos que son iteradores: tienen un “hayProximo” que te dice si tenes un elemento más, y un “próximo” que te da el próximo elemento. Me pidió armar una función que tome dos iteradores y devuelva un iterador que vaya alternando entre los otros dos (si la función toma o y p queres un iterador que al pedirle próximo te de primero uno de o, si le volves a pedir próximo te da uno de p y así). Yo no llegue a armarla ni terminar la idea pero contandole lo que iba pensando alcanzó.
| |
|
| |
| Objetos: me pregunto si los juicios de evaluación de cálculo sigma se podrían hacer small step y que si podía lo escriba (alcanzó con escribir solo la regla de SEL)
| |
|
| |
| Cálculo lambda: me pregunto si teniendo solo Nat y Bool podía escribir programas que se traben (le dije que no y me preguntó por qué, quería que mencione el teorema de terminación). Me pregunto si agregando fix se podía y que de un ejemplo y lo mismo con referencias
| |
|
| |
| Haskell: me pregunto la diferencia entre recursion estructural y primitiva y que de los tipos de las funciones que lo hacen en Haskell (foldr y recr) y me preguntó si podíamos escribir una en función de la otra para ambas(recr usando foldr y foldr usando recr)
| |
|
| |
|
| |
| ---
| |
|
| |
| Prolog: generarme las rotaciones de una lista. Sea L=[1, 2,3] => [[1,2,3],[2,3,1],[3,1,2]]
| |
|
| |
| Lambda: saber perfectamente el tema de las sustituciones. Dado un término U sin tipos que es tipable, osea Erase(M) = U con M tipable , si hago una sustitución por U' que no se si es tipable o no. Será tipable el resultado de esa sustitución en U?
| |
|
| |
| Haskell: dar los tipos de foldr y recr.
| |
| Se pueden implementar uno en función del otro?
| |
| Hice el foldr en función de recr. Al final el otro solo me dijo que le diga la idea, las tuplas y eso. Me pregunto por la notación infija posible para hacer foldr con recr. Al estilo map f = foldr ((:).f)
| |
|
| |
| Martelli Montanari: cual sería la especificación del algoritmo, osea que precondiciones y post condiciones. Onda, decir que espera como input, que da como salida. No hablar de las reglas si no, la especificación.
| |
|
| |
| Occur check
| |