Haskell en la ETSIIT

Investigar la definición de función, la noción de aplicación de funciones y la recursión. Resolver el Entscheidungsproblem.

[Haskell en la ETSIIT @Haskell_ETSIIT]

Heliocentrismo vs. geocentrismo: en ciencia conviene comenzar por la explicación más sencilla.
#astronomy #science

[Zonamovilidad.es @zonamovilidad]

La región alemana de Hesse prohibe el uso de los programas del paquete Microsoft Office 365 porque la información de estudiantes y maestros “podría estar expuesta a las agencias de espionaje de Estados Unidos”
https://t.co/lR7QWGCcOc

[Haskell en la ETSIIT @Haskell_ETSIIT]

10 formas de generar una clave aleatoria en la línea de órdenes de Linux.
#Linux
https://t.co/pNKpIOi7iw

[Computer Hoy @computerhoy]

Así será la mejora de rendimiento del Xiaomi Mi A3 . https://t.co/eCIWeyBe6A

[Haskell en la ETSIIT @Haskell_ETSIIT]

@acanasvargas Si no recuerdo mal, la idea es de Frege y viene a ser "vayamos poquito a poco, de uno en uno". Le llamaron "Schönfinkelisation" por Schönfinkel, y como era muy largo alguien en los 60 lo llamo "currying" por Haskell B. Curry. Si te soy sincero, siempre que puedo uso aquello.

[Antonio Cañas Vargas @acanasvargas]

@Haskell_ETSIIT Hoy he aprendido que Haskell también dio nombre a la Currificación https://t.co/duhNbzMsjb

[Haskell en la ETSIIT @Haskell_ETSIIT]

Agat IV, un clon de Apple creado en la URSS. (de @doctorow)
https://t.co/mAc50mbTlx

[Haskell en la ETSIIT @Haskell_ETSIIT]

El Principio de Lectura Única profundamente analizado y con aplicación al lambda-calculus
#lambdaCalculus
https://t.co/ssaBDnYc2d

[Haskell en la ETSIIT @Haskell_ETSIIT]

@sextantMath La tecnica della dimostrazione per induzione mi darà coraggio! Mi dà
sicurezza, molta sicurezza.

[OSL - UGR @[email protected] @OSLUGR]

Aprende a aplicar #Python en la Docencia y la Investigación de la mano de Pedro González Rodelas en las #JSLUGR18

Estamos retransmitiendo el taller en vivo en https://t.co/ObOjbxKAEx

[Haskell en la ETSIIT @Haskell_ETSIIT]

Practical #Haskell - Getting Started with #Stack
https://t.co/7DqjuVJPea

[Juan Antonio @_juanAFernandez]

¡Atención! @IndraCompany está ofreciendo un curso gratuito de @Java y @Angular de 180 horas en @Granada con posibilidades de incorporación para los que los superen. Si estás interesado o conoces a alguien que pueda estarlo escríbeme por privado. Último curso de Informática min.

[openswad.org @OpenSWAD]

Users of the OpenSWAD educational platform come from these 1545 institutions:

[Haskell en la ETSIIT @Haskell_ETSIIT]

Notación polaca debida a Jan Łukasiewicz (1924), en especial para los símbolos lógicos:
https://t.co/KYLIaOaJ2c

[Haskell en la ETSIIT @Haskell_ETSIIT]

Un listado de símbolos lógicos.
https://t.co/jJ4VFdvLNY

[salīm al-kātib @jawarizmi]

Entender la tangente trigonométrica.
https://t.co/dWsdpFCfMj

[Haskell en la ETSIIT @Haskell_ETSIIT]

Para todo número natural n,
n³ - 1= (n - 1)(n(n +1)+1)
Esto le ayudará a entenderlo.
https://t.co/7TkwwZuSCQ

[Haskell en la ETSIIT @Haskell_ETSIIT]

Pruebe sus #regex para #Python en https://t.co/7HA77N1Pfb

[Haskell en la ETSIIT @Haskell_ETSIIT]

Etcher es la herramienta definitiva para grabar sus imágenes de Linux. https://t.co/Rs26Fg0AoA…

[Haskell en la ETSIIT @Haskell_ETSIIT]

Guía de instalación de #Ubuntu 18.04 LTS con #Unity https://t.co/59FbRAOxe2…

[Haskell en la ETSIIT @Haskell_ETSIIT]

Regular Expressions from Emacs Wiki #regexp #regex
https://t.co/nG7EjNIS7T