En clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentando las soluciones de los ejercicios de evaluación perezosa y listas infinitas de la 13ª relación.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2015: Ejercicios de evaluación perezosa y listas infinitas en Haskell”
En la primera parte de la clase de hoy del curso de Lógica Informática se ha presentado un nuevo sistema deductivo: los tableros semánticos de primer orden como ampliación del presentado en el tema 3 para la lógica proposicional.
En la segunda parte se han comentado las soluciones de los ejercicios 6.29 y 6.30 del libro de ejercicios.
Las transparencias de esta clase son las del tema 9 que se muestran a continuación
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos vistos dos aplicaciones de la programación funcional en Haskell: el problema de las reinas (consistente en colocar N reinas en un tablero de dimensiones N por N de forma que no se encuentren más de una en la misma línea: horizontal, vertical o diagonal) y el problema de Hamming (consistente definir una sucesión estrictamente creciente de números tales que el número 1 está en la sucesión y que, si x está en la sucesión, entonces 2x, 3x y 5x también están).
El código del problema de las N reinas es
Read More “I1M2015: Los problemas de las N reinas y de Hamming en Haskell”
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos desarrollado un programa en Haskell para resolver los problemas aritméticos del concurso Cifras y letras que consisten en dada una sucesión de números naturales y un número objetivo, intentar construir una expresión cuyo valor es el objetivo combinando los números de la sucesión usando suma, resta, multiplicación, división y paréntesis. Además, cada número de la sucesión puede usarse como máximo una vez y todos los números, incluyendo los resultados intermedios tienen que ser enteros positivos (1,2,3,…).
Por ejemplo, dada la sucesión 1, 3, 7, 10, 25, 50 y el objetivo 765, una solución es (1+50)x(25−10). Para el problema anterior existen 780 soluciones. En cambio, con la sucesión anterior y el objetivo 831, no hay solución.
Se empieza formalizando el problema y definiendo una función para reconcer las soluciones. A continuación, se presentan tres soluciones: la primera por fuerza bruta, la segunda mediante generación y evaluación y la tercera con simplificaciones algebraicas. Se termina con una comparación de las tres soluciones.
El código del programa es
Read More “I1M2015: Problema del concurso “Cifras y letras” en Haskell”
En la clase de hoy del curso Lógica Informática se presentado la ampliación del cálculo de deducción natural proposional para tratar los cuantificadores. Se han comentado distintas equivalencias lógicas y se han demostrado por deducción natural las principales equivalencias.
Las transparencias de esta clase son las páginas 1 a 25 del tema 8 que se muestran a continuación