En clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentando las soluciones ejercicios de evaluación perezosa y listas infinitas de la 11ª relación.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2017: Ejercicios de evaluación perezosa y listas infinitas en Haskell (1)”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la evaluación perezosa en Haskell. Se han visto la estrategias de evaluación perezosa e impaciente, se han comparado respecto de la terminación y el número de pasos necesarios en las computaciones, se ha aplicado a la computación con estructuras infinitas y se han visto casos en los que se aumenta la eficiencia con evaluación estricta.
Como ejemplo, se ha estudiado el cálculo de los números primos mediante la criba de Erastótenes.
Los apuntes correspondientes a la clase son
Las lecturas están ordenadas según su fecha de publicación en Twitter.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Read More “Resumen de lecturas compartidas (noviembre de 2017)”
En la segunda parte de la clase de hoy del curso de Razonamiento automático hemos profundizado en el estudio de las demostraciones por casos y por inducción. En concreto, se ha estudiado
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “RA2017: Razonamiento por casos y por inducción en Isabelle/HOL”
En la primera parte de la clase de hoy del curso de
Razonamiento automático se han comentado las soluciones de la 3ª relación de ejercicios sobre razonamiento detallado sobre programas en Isabelle/HOL
La teoría con las soluciones de los ejercicios es la siguiente
Read More “RA2017: Ejercicios de razonamiento detallado sobre programas en Isabelle/HOL”