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 y las igualdades.
También se ha presentado el sistema Pandora para editar demostraciones por deducción natural.
Las transparencias de esta clase son las del tema 7 que se muestran a continuación
Read More “LI2011: Deducción natural en lógica de primer orden”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado la implementación en Haskell de los algoritmos de Kruskal y de Prim para calcular los árboles de expansión mínimo.
Las transparencias usadas en la clase son las páginas 44-57 del tema 22:
Read More “I1M2010: Implementación en Haskell de los algoritmos de Kruskal y de Prim”
En la clase de hoy del curso Lógica Informática se presentado la semántica de la lógica de primer orden.
Las transparencias de esta clase son las páginas 24 a 45 del tema 6.
Como tarea se propone la resolución de los ejercicios del tema 6 del libro de ejercicios.
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentando las soluciones a los ejercicios sobre la implementación en Haskell del tipo abstracto de datos de los grafos mediante listas de pares de la 29ª relación.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2010: Ejercicios sobre la implementación en Haskell del TAD de los grafos mediante listas de pares”
Recientemente, se publicó en Gaussianos el artículo Sorpresa sumando potencias de 2 en el que se comentaba cómo, a partir de las representaciones de los números naturales como sumas de potencias de 2 se puede obtener una enumeración de los racionales. También se comentaba la equivalencia de la numeración anterior con el recorrido en anchura del árbol de Calkin-Wilf.
A partir de dicho artículo y sus fuentes (el artículo de Neil Calkin y Herbert S. Wilf Recounting the rationals y el artículo de la wikipedia Calkin-Wilf tree), he elaborado la siguiente relación de ejercicios de Haskell para la asignatura de Informática de 1º del Grado en Matemáticas.
En la relación se incluye tanto la construcción de las dos enumeraciones en Haskell como la verificación de sus propiedades con QuickCheck. Finalmente, se incluye el cálculo del número de las representaciones hiperbinarias mediante la función “fucs”.
Read More ““Sorpresa sumando potencias de 2” en Haskell”