I1M2014: 6º examen de programación con Haskell
Hoy se ha realizado el 6º examen del curso de Informática (de 1º de Grado en Matemáticas). Los ejercicios, y sus soluciones, se muestran a continuación.
I1M2014: Razonamiento sobre programas
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado cómo demostrar propiedades de funciones definidas en Haskell. Los esquemas de demostración estudiados son:
- por simplificación,
- por casos,
- por inducción sobre los números naturales,
- por inducción sobre listas,
- por inducción anidada y
- por generalización e inducción.
Las transparencias usadas en la clase son las del tema 8
Read More “I1M2014: Razonamiento sobre programas”
I1M2014: Cálculo del número pi mediante el método de Montecarlo
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la relación 38 sobre el uso de números aleatorios para calcular el número π mediante el método de Montecarlo.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Cálculo del número pi mediante el método de Montecarlo”
I1M2014: El juego del Nim y las funciones de entrada/salida
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la relación 37 sobre el uso de acciones de entrada y salida en el juego del Nim.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: El juego del Nim y las funciones de entrada/salida”
I1M2014: Ejercicios sobre analizadores sintácticos funcionales
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la relación 35 sobre analizadores sintácticos funcionales.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Ejercicios sobre analizadores sintácticos funcionales”