Andere Kunden interessierten sich auch für
![Estrategias para el diseño y construcción de algoritmos]( "Estrategias para el diseño y construcción de algoritmos")
Estrategias para el diseño y construcción de algoritmos58,99 €![Problemas de programación: un enfoque en la programación competitiva]( "Problemas de programación: un enfoque en la programación competitiva")
Problemas de programación: un enfoque en la programación competitiva40,99 €![Modelo Ontológico para la Integración de Bases de Datos]( "Modelo Ontológico para la Integración de Bases de Datos")
Modelo Ontológico para la Integración de Bases de Datos38,99 €![Métodos de Edición de Conjuntos de Entrenamiento]( "Métodos de Edición de Conjuntos de Entrenamiento")
Métodos de Edición de Conjuntos de Entrenamiento25,99 €![Visualizando el análisis sintáctico del proceso de compilación]( "Visualizando el análisis sintáctico del proceso de compilación")
Visualizando el análisis sintáctico del proceso de compilación51,99 €![El uso de las plataformas virtuales en el aprendizaje]( "El uso de las plataformas virtuales en el aprendizaje")
El uso de las plataformas virtuales en el aprendizaje42,99 €![Configuración Remota de Firewall y Proxy]( "Configuración Remota de Firewall y Proxy")
Configuración Remota de Firewall y Proxy25,99 €
La Programación Declarativa constituye una de las áreas de investigación dotadas de un mayor fundamento matemático dentro del campo de la programación, lo que la confiere un alto nivel de abstracción de gran utilidad en numerosos ámbitos de aplicación. Tradicionalmente, ha sido dividida en dos paradigmas separados basados en diferentes formalismos matemáticos y en diferentes cómputos subyacentes: La Programación Funcional y la Programación Lógica. Con el fin de integrar las ventajas de ambos paradigmas en uno solo, se han desarrollado en las últimas décadas varias propuestas de Lenguajes de Programación Lógico Funcional, muchos de los cuales hacen uso de la relación de Estrechamiento como modelo de cómputo unificado para definir su semántica operacional. Sin embargo, debido a la ineficiencia del estrechamiento, muchas estrategias han sido propuestras con el fin de refinar el espacio de cómputo que se genera. Entre ellas, las investigaciones más recientes se han centrado en el estudio de las denominadas Estrategias de Estrechamiento Perezoso. El presente libro presenta los principales cálculos y estrategias de estrechamiento perezoso que se han desarrollado en las últimas décadas.