Lecturas del Grupo de Lógica Computacional (del 10 al 17 de mayo)

Esta entrada es una recopilación de lecturas compartidas esta semana (del 10 al 17 de mayo) en la lista de correo del Grupo de lógica computacional

La recopilación está ordenada por la fecha de su publicación en Twitter. Al final de cada artículo se encuentra etiquetas relativas a los sistemas que usa o a su contenido.

Exercitium: Ejercicio diario de programación funcional con Haskell

Hace tres semanas que se inició el proyecto Exercitium, un blog en el cada día, de lunes a viernes, a las 7:00 se propondrá un ejercicio de programación con Haskell para que los alumnos de I1M (Informática de 1º del Grado en Matemáticas), durante una semana, escriban las soluciones en los comentarios. Para cada ejercicio, pasados 7 días desde su propuesta, se publicará una selección de las soluciones aportadas.

Los ejercicios de las dos primeras semanas, junto con sus soluciones, son

  1. Iguales al siguiente.
  2. Ordenación por máximos.
  3. La bandera tricolor.
  4. Elementos minimales.
  5. Mastermind.
  6. Primos consecutivos con media capicúa.
  7. Anagramas.
  8. Primos equidistantes.
  9. Suma si todos los valores son justos.
  10. Matrices de Toepliz.

Este proyecto es análogo a 1HaskellADay, pero orientado a los alumnos de I1M (Informática de 1º del Grado en Matemáticas).

Como estos ejercicios les puede ser de utilidad a otros estudiantes, a partir de ahora, anunciaré en Twitter (con la etiqueta #Exercitium) la publicación de las soluciones de los siguientes.