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.
En la segunda parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se ha comentado las soluciones de los ejercicios de la 4ª relación sobre definiciones por recursión iniciada en la clase anterior
Los ejercicios y su solución se muestran a continuación
Read More “I1M2017: Ejercicios de definiciones por recursión (2)”
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.
Los apuntes correspondientes a la clase son
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 de los tres primeros ejercicios de la 4ª relación sobre definiciones por recursión.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2017: Ejercicios de definiciones por recursión (1)”
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 4 a 16 de la 3ª relación sobre definiciones por comprensión.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2017: Ejercicios de definiciones por comprensión (2)”