Hoy se ha celebrado el examen de la convocatoria de diciembre de la asignatura de Informática de 1º del Grado en Matemáticas.
A continuación se muestra el examen junto con su solución:
Read More “I1M2010: Examen de la convocatoria de diciembre”
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 comentado la resolución de ejercicios por plegado, resaltando el paso de las definiciones por recursión a las correspondientes definiciones por plegados. Los ejercicios comentados son el 13 de la 11ª relación y los cuatro primeros de la 12ª relación.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2010: Ejercicios de definiciones por plegado (2)”
En la clase de hoy del curso de Razonamiento automático se ha visto cómo se puede escribir en Isabelle/Isar demostraciones de la lógica de primer orden, el razonamiento ecuacional y las demostraciones por casos.
En la clase se ha presentado el tema 2 (desde la página 21 a la 26) y el tema 3 (desde la página 26 a la 28)
El código correspondiente se encuentra en Cap_2.thy y Cap_3.thy–
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado la resolución de ejercicios por plegado, resaltando el paso de las definiciones por recursión a las correspondientes definiciones por plegados. Los ejercicios comentados son el 11 y el 12 de la 11ª relación.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2010: Ejercicios de definiciones por plegado”