I1M2011: El cifrado César 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”

I1M2011: 1º examen de la evaluación continua

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”

LI2011-12: Deducción natural en lógica proposicional (2)

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)”

I1M2011: Definiciones por comprensión en Haskell

En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado cómo definir funciones en Haskell usando listas de comprensión.

Como tarea para la próxima clase se ha propuesto escribir de manera colaborativa las soluciones de los ejercicios de la 3ª relación.

Las transparencias usadas en la clase son las comprendidas entre las páginas 1 y 12 del tema 5:
Read More “I1M2011: Definiciones por comprensión en Haskell”