Curso de Informática de 1º del Grado en Matemáticas.
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la verificación de propiedades con QuickCheck y, como aplicación, 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 “I1M2013: Verificación de la ordenación por mezcla con QuickCheck”
En 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 7ª relación y los 3 primeros de la 8ª sobre definiciones por recursión
Los ejercicios y sus soluciones se muestran a continuación
Read More “I1M2013: Ejercicios de definiciones por recursión”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha realizado el examen de la tercera convocatoria del curso.
A continuación se muestra el examen junto con su solución:
Read More “I1M2012: Examen de la 3ª convocatoria del curso”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos continuado el estudio de las definiciones por recursión en Haskell. Concretamente, hemos visto ejemplos de recursión sobre varios argumento, recursión múltiple y de recursión mutua. También hemos comentado el método para construir funciones recursivas.
Las transparencias usadas en la clase son las las páginas 10 a 24 del tema 6:
Read More “I1M2013: Definiciones por recursión (2)”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos iniciado el estudio de las definiciones por recursión en Haskell. Concretamente, hemos visto ejemplos de recursión sobre los números naturales y recursión sobre listas.
Las transparencias usadas en la clase son las las páginas 1 a 10 del tema 6:
Read More “I1M2013: Definiciones por recursión (1)”