#calculolambda — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #calculolambda, aggregated by home.social.
-
24 septiembre 2026 #Universidad #UNED Móstoles https://extension.uned.es/actividad/53093 Conferencia: #Cálculolambda (λ-calculus) online Formulado en 1936 por el profesor de la #UniversidaddePrinceton Alonzo Church. Inicialmente se empleó como instrumento matemático formal para el estudio de las funciones y su recursividad. Se puede considerar como uno de los #lenguajesdeprogramación universales más minimalistas.
Gratuito
-
24 septiembre 2026 #Universidad #UNED Móstoles https://extension.uned.es/actividad/53093 Conferencia: #Cálculolambda (λ-calculus) online Formulado en 1936 por el profesor de la #UniversidaddePrinceton Alonzo Church. Inicialmente se empleó como instrumento matemático formal para el estudio de las funciones y su recursividad. Se puede considerar como uno de los #lenguajesdeprogramación universales más minimalistas.
Gratuito
-
24 septiembre 2026 #Universidad #UNED Móstoles https://extension.uned.es/actividad/53093 Conferencia: #Cálculolambda (λ-calculus) online Formulado en 1936 por el profesor de la #UniversidaddePrinceton Alonzo Church. Inicialmente se empleó como instrumento matemático formal para el estudio de las funciones y su recursividad. Se puede considerar como uno de los #lenguajesdeprogramación universales más minimalistas.
Gratuito
-
24 septiembre 2026 #Universidad #UNED Móstoles https://extension.uned.es/actividad/53093 Conferencia: #Cálculolambda (λ-calculus) online Formulado en 1936 por el profesor de la #UniversidaddePrinceton Alonzo Church. Inicialmente se empleó como instrumento matemático formal para el estudio de las funciones y su recursividad. Se puede considerar como uno de los #lenguajesdeprogramación universales más minimalistas.
Gratuito
-
24 septiembre 2026 #Universidad #UNED Móstoles https://extension.uned.es/actividad/53093 Conferencia: #Cálculolambda (λ-calculus) online Formulado en 1936 por el profesor de la #UniversidaddePrinceton Alonzo Church. Inicialmente se empleó como instrumento matemático formal para el estudio de las funciones y su recursividad. Se puede considerar como uno de los #lenguajesdeprogramación universales más minimalistas.
Gratuito