Edición de «Final 19/11/2023 (Paradigmas)»
De Cuba-Wiki
Revisión del 14:41 17 ene 2024 de 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…»)
Advertencia: estás editando sobre una revisión antigua de esta página. Si la publicas, se perderá cualquier otro cambio realizado desde esa revisión.
Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si inicias sesión o creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.