En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado el tipo abstracto de los montículos, su implementación en Haskell mediante tipo de datos algebraicos y la verificación con QuickCheck de sus propiedades características.
Las transparencias usadas en la clase son las del tema 20:
Read More “I1M2014: El tipo abstracto de datos de los montículos en Haskell”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios sobre la numeración de los números racionales en Haskell de la relación 25.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Ejercicios sobre la numeración de los racionales en Haskell”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha comentado las soluciones de los ejercicios de la relación 24 que consiste en la implementación del TAD de los grafos mediante lista.
Las soluciones de los ejercicios de la relación es el siguiente
Read More “I1M2014: Ejercicios sobre la implementación del TAD de grafos mediante listas”
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado soluciones de los ejercicios de deducción natural en lógica de primer orden con Isabelle/HOL.
Para cada uno de los ejercicios se ha presentado distintas demostraciones: desde la detallada (que sea parecida a la mostrada en las transparencias) hasta la automática.
La teoría con la relación de ejercicios y sus soluciones es la siguiente
Read More “LMF2015: Ejercicios de deducción natural en lógica de primer orden con Isabelle/HOL”
En la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado la deducción natural en la lógica de primer orden.
Las transparencias de estas clases son las del tema 8.
A la vez que se presentaba las reglas, se ha comentado su formalización en Isabelle/HOL. La teoría correspondiente es
Read More “LMF2015: Deducción natural en lógica de primer orden”