En la primera 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 39 sobre demostración de propiedades por inducción sobre números y listas
Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Demostración de propiedades por inducción sobre números y listas”
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:
Las transparencias usadas en la clase son las del tema 8
Read More “I1M2014: Razonamiento sobre programas”
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”
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”
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”