En la clase de hoy del curso de Razonamiento automático se ha estudiado como caso de estudio, la formalización de un compilador de expresiones aritméticas y la demostración de su corrección en Isabelle. El contenido de la clase se encuentra en el tema 6 y el código correspondiente se encuentra en Cap_6.thy .
En la clase de hoy, se ha realizado la presentación del curso Lógica Informática siguiendo el plan de la asignatura. Se ha comentado el contenido de la asignatura, el sistema de evaluación y los materiales de la asignatura en la Red:
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)”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha realizado el 4º examen de la evaluación continua.
Las notas se han publicado en la WebCT.
A continuación se muestra el examen junto con su solución:
Read More “I1M2010: 4º examen de la evaluación continua”
El enunciado del problema de hoy de Números y algo más … es el siguiente
1811 fue el último año que no teniendo ceros en su composición, tanto su suma digital como su producto digital están incluidos como cadenas dentro del número
Suma digital (1811) = 1+8+1+1 = 11
Producto dígital (1811) = 1x8x1x1 = 8¿Cuál es próximo año sin ceros en que esto ocurrirá?
A partir del problema he escrito la siguinte relación de ejercicios para la asignatura de Informática de 1º del Grado en Matemáticas.
Read More ““El próximo después de 1811” con Haskell”