Documente Academic
Documente Profesional
Documente Cultură
Cálculo Lambda es universal porque cualquier función computable puede ser expresada y
evaluada a través de él. Por lo tanto, es equivalente a las máquinas de
Turing. Sin embargo, el cálculo lambda no hace énfasis en el uso de reglas
de transformación y no considera las máquinas reales que pueden
implementarlo. Se trata de una propuesta más cercana al software que al
hardware.
Es una estrategia de evaluación que retrasa el cálculo de una expresión hasta que
su valor sea necesario, y que también evita repetir la evaluación en caso de ser
Evaluación Peresoza
necesaria en posteriores ocasiones. Esta compartición del cálculo puede reducir
el tiempo de ejecución de ciertas funciones de forma exponencial
es una parte de un programa (subrutina) con un nombre, que puede ser invocada
Función (llamada a ejecución) desde otras partes tantas veces como se desee. Un bloque
de código que puede ser ejecutado como una unidad funcional.
funciones de orden superior son funciones que cumplen al menos una de
las siguientes condiciones:
Funcion de orden superior
Tomar una o más funciones como entrada
Devolver una función como salida
https://www.goconqr.com/mindmap/2613378/evaluacion-perezosa
https://www.ecured.cu/Funci%C3%B3n_(programaci%C3%B3n)
https://www.cs.us.es/~jalonso/cursos/i1m-18/temas/tema-7.html
https://www.ecured.cu/L%C3%B3gica_matem%C3%A1tica
http://catedraprogramacion.forosactivos.net/t83-definicion-de-lenguaje-de-
programacion-tipos-ejemplos
http://www.inf-cr.uclm.es/www/fruiz/bda/doc/teo/bda-t4.pdf
http://www.iqcelaya.itc.mx/~vicente/Programacion/Paradigmas.pdf
http://blog.koalite.com/2016/04/que-es-la-programacion-basada-en-restricciones/
https://www.ecured.cu/Programaci%C3%B3n_declarativa
https://www.ecured.cu/Programacion_estructurada
https://codigofacilito.com/articulos/programacion-funcional
https://ferestrepoca.github.io/paradigmas-de-programacion/proglogica/logica_teoria/lang.html
https://lenguajesdeprogramacion14.wordpress.com/2-paradigmas-de-la-programacion/paradigma-
imperativo/
http://joragupra.com/2018/01/que-es-una-monada.html
http://smartcomputing.gerardorossel.org/logica-de-primer-orden.aspx
https://www.ecured.cu/L%C3%B3gica_difusa
https://www.ecured.cu/L%C3%B3gica_matem%C3%A1tica
https://www.ecured.cu/Recursividad
https://www.lainter.edu.mx/blog/2018/03/18/programacion-orientada-a-objetos/
https://dosideas.com/noticias/actualidad/487-los-lenguajes-especificos-de-dominio