En la primera parte de la clase de hoy del curso de Razonamiento automático se ha comentado las soluciones de la 3ª relación de ejercicios cuyo objetivo es demostrar con Isabelle/HOL propiedades de programas.
Los ejercicios y sus soluciones se muestran a continuación
Read More “RA2014: Ejercicios de razonamiento automático sobre programas con Isabelle/HOL”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se han estudiado las funciones de orden superior y las funciones de procesamiento de listas (map y filter).
Además, se ha estudiado cómo puede abstraerse los esquemas definición de funciones de recursión sobre listas mediante la función de plegado (foldr) y cómo con dicha función puede simplificarse la definición de funciones.
A continuación se ha visto cómo definir funciones con acumuladores y cómo simplificarlas con el patrón de plegado por la izquierda (foldl).
Finalmente, se ha visto cómo puede simplificarse la definición de funciones usando el operador de composición.
Las transparencias usadas en la clase son las páginas 1 a 22 del tema 7
Read More “I1M2014: Funciones de orden superior 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 7ª relación que trata de funciones sobre cadenas.
Los ejercicios, y sus soluciones, se muestran a continuación:
Read More “I1M2014: Ejercicios sobre cadenas en Haskell”
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la verificación de la ordenación por mezcla siguiendo los ejercicios de la relación 9.
Los ejercicios, y sus soluciones, se muestran a continuación:
Read More “I1M2014: Verificación de la ordenación por mezcla con QuickCheck”
En la primera parte de la clase de hoy del curso [Lógica Informática]http://www.cs.us.es/~jalonso/cursos/li-14) hemos comentado los tipos de problemas que se pueden resolver en los temas de lógica proposicional que hemos estudiado. En concreto,
En la segunda parte, hemos visto cómo se pueden definir en Haskell la funciones correspondientes a las soluciones de algunos de dichos problemas. En concreto, hemos comentado las definiciones correspondientes a las 20 primeras páginas del libro Lógica en Haskell.