He actualizado el libro Exámenes de programación funcional con Haskell. El libro es una recopilación de los exámenes de la asignatura de Informática (de primero del Grado en Matemáticas) desde el curso 30 de noviembre de 2009 al 5 de diciembre de 2014.
Tras la ampliación, el libro contiene 113 exámenes y 713 ejercicios.
Este libro es el complemento de los anteriores:
En la clase de hoy de Informática de 1º del Grado en Matemáticas se han dejado propuestos los ejercicios de la relación 14 sobre el tipo de datos abstracto de las colas. Son análogos a los de la relación 13 sobre pilas.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2014: Ejercicios con el tipo abstracto de dato de las colas”
En la clase de hoy del curso de Lógica Informática se han comentado ejercicios de lógica de primer orden propuestos en exámenes de cursos anteriores. En concreto,
En la clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios de la relación 13 sobre el tipo de datos abstracto de las pilas.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2014: Ejercicios con el tipo abstracto de dato de las pilas”
En la segunda parte de la clase de hoy del curso de Razonamiento automático se ha presentado la deducción naturalcon Isabelle/HOL. La presentación se basa en los ejemplos del tema 2 y del tema 8 del curso de Lógica informática que, a su vez, se basa en el capítulo 2 del libro de Huth y Ryan Logic in Computer Science (Modelling and reasoning about systems).
La página al lado de cada ejemplo indica la página de las transparencias donde se encuentra la demostración.
Para cada ejemplo se presentan distintas demostraciones. La primera intenta reflejar la demostración de las transparencias, las siguientes van eliminando detalles de la prueba hasta la última que es automática.
A los largos de los ejemplos se van comentando los elementos del lenguaje conforme van entrando en el juego.
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “RA2014: Deducción natural con Isabelle/HOL”