En segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentando las soluciones de los tres primeros ejercicios de evaluación perezosa y listas infinitas de la relación 15.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2013: Ejercicios de evaluación perezosa y listas infinitas en Haskell”
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los ejercicios de la 14ª relación que trata de funciones sobre cadenas.
Los ejercicios, y sus soluciones, se muestran a continuación:
Read More “I1M2013: Ejercicios sobre cadenas en Haskell”
En la primera parte de la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se han comentado las soluciones de los ejercicios de la 13ª relación. En los ejercicios se piden definiciones de funciones de orden superior y con plegados.
Los ejercicios y soluciones se muestran a continuación
Read More “I1M2013: Ejercicios sobre funciones de orden superior y plegados (3)”
En la clase de hoy del curso Lógica Informática se ha estudiado cómo se representan las listas en Prolog, cómo se diseñan programas sobre listas y cómo Prolog obtiene las respuestas.
Para la construcción de los árboles de deducción de Prolog se ha utilizado el programa SldDraw. El uso del programa se muestra en el siguiente vídeo.
La clase se basa en los apuntes de Introducción a la programación lógica con Prolog.
Las transparencias de esta clase son las página 18 a 27 del tema 12
Read More “LI2013: Razonamiento en Prolog sobre listas”