En clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentando las soluciones de los ejercicios de evaluación perezosa y listas infinitas de la 9ª relación.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2014: Ejercicios de evaluación perezosa y listas infinitas en Haskell”
En la clase de hoy del curso de Lógica Informática se ha realizado el primer examen de la evaluación continua. Las soluciones se muestran a continuación
Read More “LI2014: 1º examen de la evaluación continua”
En la segunda parte de la clase de hoy del curso de Razonamiento automático se ha comentado las soluciones de la 5ª relación de ejercicios cuyo objetivo es demostrar con Isabelle/HOL propiedades de programas con cuantificadores sobre listas.
Los ejercicios y sus soluciones se muestran a continuación
Read More “RA2014: Ejercicios de cuantificadores sobre listas con Isabelle/HOL”
En la primera parte de la clase de hoy del curso de Razonamiento automático se han comentado las soluciones de los ejercicios de la relación 4 sobre función snoc (cons inverso) que añade un elemento al final. Lo interesante es el uso de algunas propiedades en la demostración de otras (como en el ejercicio 5). Las ejercicios y sus soluciones son
Read More “RA2014: Ejercicios de razonamiento sobre cons inverso en Isabelle/HOL”
En la tercera parte de la clase de hoy del curso de Razonamiento automático se ha estudiado
La correspondiente teoría Isabelle/HOL se muestra a continuación
Read More “RA2014: Razonamiento sobre tipos recursivos en Isabelle/HOL”