En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado cómo definir en Haskell la codificación de mensajes usando el cifrado César.
El programa es el siguiente
Read More “I1M2016: El cifrado César en Haskell”
En la clase de hoy del curso de Razonamiento automático se ha presentado la programación funcional en Isabelle/HOL.
La teoría con los ejemplos presentados en la clase es la siguiente:
Como tarea se propuso la resolución de los ejercicios de la 1ª relación.
Hoy se ha realizado el 1º examen del curso de Informática (de 1º de Grado en Matemáticas). Los ejercicios, y sus soluciones, se muestran a continuación.
En la segunda parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se han comentado las soluciones propuestas por los alumnos de algunos ejercicios del proyecto Euler. Concretamente,
En la primera parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se han comentado las soluciones de los ejercicios de la 4ª relación sobre definiciones por recursión.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2016: Ejercicios de definiciones por recursión (1)”