Todos los registros públicos

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: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…»)