La semana pasada, @republicofmath planteó en twitter la siguiente pregunta
4=2^2, 9=3^2, 4||9 = 49 = 7^2. 16=4^2, 81=9^2, 16||81= 1681=41^2. Others?
donde x||y es el número obtenido concatenando las cifras de x e y. A partir de esta pregunta he elaborado la siguiente relación de ejercicios para la asignatura de Informática de 1º del Grado en Matemáticas
Read More “Cuadrados mediante concatenación de cuadrados en Haskell”
En 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.
Hemos comenzado estudiando las funciones sobre cadenas y caracteres en Haskell y las definiciones por comprensión sobre cadenas. Como aplicación, hemos definido la función de codificación.
Como tarea para la próxima clase se ha propuesto escribir de manera colaborativa las soluciones de los ejercicios de la 4ª relación.
Las transparencias usadas en la clase son las comprendidas entre las páginas 13 y 21 del tema 5:
Read More “I1M2011: El cifrado César en Haskell”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha realizado el 1º examen de la evaluación continua.
En este examen sólo se incluyen definiciones elementales de Haskell análogas a las presentadas en las dos primeras relaciones de ejercicios y tiene como principal objetivo medir la adaptación al entorno de trabajo con Haskell y Emacs.
A continuación se muestra el examen junto con su solución:
Read More “I1M2011: 1º examen de la evaluación continua”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la 3ª relación que trata sobre definiciones por comprensión.
Los ejercicios, y sus soluciones, se muestran a continuación
Read More “I1M2011: Ejercicios de definiciones por comprensión en Haskell (1)”
En la clase de hoy del curso Lógica Informática se ha completado el estudio de la deducción natural en lógica proposicional.
La reglas que se han visto en la clase son las de la negación, las del bicondicional y las reglas derivadas (modus tollens, introducción de la doble negación, reducción al absurdo y ley del tercio excluso).
Además, se ha visto cómo usar Pandora para editar demostraciones por deducción natural.
Como tarea pendientes se propone la resolución de los ejercicios del tema 2 del libro de ejercicios.
Las transparencias de esta clase son las páginas 13-28 del tema 2
Read More “LI2011-12: Deducción natural en lógica proposicional (2)”