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”