En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado la resolución de ejercicios de las relaciones 16, 17 y 18 cuyas soluciones se muestran a continuación.
Read More “I1M2010: Ejercicios de Haskell (relaciones 16, 17 y 18)”
A lo largo del curso iré actualizando un libro de ejercicios resueltos de programación con Haskell con las relaciones de ejercicios del curso de Informática (de 1º del Grado en Matemáticas)
Hoy lo he actualizado añadiéndole la relación 11 que contiene ejercicios de funciones de orden superior y de plegados.
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado la resolución por recursión y por comprensión de los ejercicios de la 10ª relación y los 4 primeros de la 11ª relación.
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado la resolución por recursión y por comprensión de ejercicios de la 9ª relación. En concreto, desde el ejercicio 4 al 16.
Las soluciones de los ejercicios de las 9 primeras relaciones pueden verse en el libro Ejercicios de “Informática de 1º de Matemáticas” (Curso 2010-11).
Como tarea para la próxima clase se ha propuesto escribir de manera colaborativa las soluciones de los ejercicios de la 11ª relación.
La clase de hoy del curso de Razonamiento automático ha consistido en la formalización en Isabelle/Isar de demostraciones por deducción natural en lógica proposicional. Para ello se han formalizado todas las demostraciones del tema de deducción natural proposicional del curso de Lógica informática
Las formalizaciones realizadas en clase se encuentran en el siguiente documento
Read More “RA2010: Ejercicios de razonamiento proposicional con Isabelle”