Historial de revisiones de «Final 23/02/2023 (Paradigmas)»

De Cuba-Wiki

Selección de diferencias: marca los botones correspondientes a las versiones a comparar y pulsa Intro o el botón de abajo.
Leyenda: (act) = diferencias con la versión actual, (ant) = diferencias con la versión anterior, m = edición menor.

17 ene 2024

  • actant 14:5114:51 17 ene 2024‎ 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 discusión‎ 2187 bytes +2187‎ 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…»
Obtenido de «https://www.cubawiki.com.ar/index.php/Final_23/02/2023_(Paradigmas)»