I1M2016: Manejo de ficheros en Haskell
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado el manejo de ficheros.
Los apuntes correspondientes a la clase son
I1M2016: Representación gráfica de funciones 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 representación gráfica de funciones en haskell con la librería gnuplot.
Los apuntes correspondientes a la clase son
I1M2016: Programas interactivos en Haskell
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado el tema 13 sobre programas interactivos.
Se ha empezado observando un procedimiento que pide que se escriba una cadena y devuelve su longitud:
|
1 2 3 4 5 6 7 |
longitudCadena :: IO () longitudCadena = do putStr "Escribe una cadena: " xs <- getLine putStr "La cadena tiene " putStr (show (length xs)) putStrLn " caracteres" |
A continuación se han estudiado los elementos implicados en el procedimiento anterior: el tipo de las acciones de entrada/salida (IO), las acciones básicas (getChar, putChar y return), la secuenciación de acciones con do y la definición de algunos procedimientos del preludio (getLine, putStr, putStrLn, y sequence_).
Como aplicación se han estudiado un programa para adivinar un número en sus dos versiones: cuando la máquina tiene que adivinar el número pensado por el humano y cuando es el humano el que tiene que adivinar el número generado aleatoriamente por la máquina.
Los apuntes correspondientes a la clase son
I1M2016: Ejercicios de evaluación perezosa y listas infinitas en Haskell (2)
En clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentando las soluciones de ejercicios de evaluación perezosa y listas infinitas de la 11ª relación.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2016: Ejercicios de evaluación perezosa y listas infinitas en Haskell (2)”
RA2016: Verificación de propiedades de recorridos en árboles binarios con Isabelle/HOL
En tercera parte de la clase de hoy del curso de Razonamiento automático se han comentado las soluciones de los ejercicios de la relación 6. En dicha relación se definen funciones para recorrer árboles binarios y se demuestran con Isabelle/HOL algunas de sus propiedades.
Los ejercicios y sus soluciones se muestran a continuación
Read More “RA2016: Verificación de propiedades de recorridos en árboles binarios con Isabelle/HOL”