PDF de programación - Exámenes de “Programación funcional con Haskell”

Exámenes de

“Programación funcional con Haskell”

(2009–2014)

José A. Alonso (coord.) y

Gonzalo Aranda, Antonia M. Chávez, Andrés Cordón,
María J. Hidalgo, Francisco J. Martín Miguel A. Martínez,
Ignacio Pérez,
Luis Valencia

Agustín Riscos y

José F. Quesada,

Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Sevilla, 27 de julio de 2013 (Versión de 22 de diciembre de 2013)

2

Esta obra está bajo una licencia Reconocimiento–NoComercial–CompartirIgual 2.5 Spain
de Creative Commons.

Se permite:

copiar, distribuir y comunicar públicamente la obra

hacer obras derivadas

Bajo las condiciones siguientes:

Reconocimiento. Debe reconocer los créditos de la obra de la manera es-
pecificada por el autor.

No comercial. No puede utilizar esta obra para fines comerciales.

Compartir bajo la misma licencia. Si altera o transforma esta obra, o genera
una obra derivada, sólo puede distribuir la obra generada bajo una licencia
idéntica a ésta.

Al reutilizar o distribuir la obra, tiene que dejar bien claro los términos de la licen-
cia de esta obra.

Alguna de estas condiciones puede no aplicarse si se obtiene el permiso del titular
de los derechos de autor.

Esto es un resumen del texto legal (la licencia completa). Para ver una copia de esta
licencia, visite http://creativecommons.org/licenses/by-nc-sa/2.5/es/ o envie una
carta a Creative Commons, 559 Nathan Abbott Way, Stanford, California 94305, USA.

Índice general

Introducción

7

1 Exámenes del curso 2009–10

1.1 Exámenes del grupo 1 (José A. Alonso y Gonzalo Aranda)

9
9
. . . . . . . . .
9
1.1.1 Examen 1 (30 de noviembre de 2009) . . . . . . . . . . . . . . . . . .
1.1.2 Examen 2 (12 de febrero de 2010) . . . . . . . . . . . . . . . . . . . . 11
. . . . . . . . . . . . . . . . . . . . 13
1.1.3 Examen 3 (15 de marzo de 2010)
1.1.4 Examen 4 (12 de abril de 2010)
. . . . . . . . . . . . . . . . . . . . . 18
1.1.5 Examen 5 (17 de mayo de 2010) . . . . . . . . . . . . . . . . . . . . . 22
1.1.6 Examen 6 (21 de junio de 2010)
. . . . . . . . . . . . . . . . . . . . . 24
1.1.7 Examen 7 ( 5 de julio de 2010) . . . . . . . . . . . . . . . . . . . . . . 27
1.1.8 Examen 8 (15 de septiembre de 2010) . . . . . . . . . . . . . . . . . . 29
. . . . . . . . . . . . . . . . . . 34
1.1.9 Examen 9 (17 de diciembre de 2010)
. . . . . . . . . . . . . . . . . . . 38
1.2.1 Examen 1 ( 4 de diciembre de 2009) . . . . . . . . . . . . . . . . . . . 38
1.2.2 Examen 2 (16 de marzo de 2010)
. . . . . . . . . . . . . . . . . . . . 41
1.2.3 Examen 3 ( 5 de julio de 2010) . . . . . . . . . . . . . . . . . . . . . . 45
1.2.4 Examen 4 (15 de septiembre de 2010) . . . . . . . . . . . . . . . . . . 45
. . . . . . . . . . . . . . . . . . 45
1.2.5 Examen 5 (17 de diciembre de 2010)

1.2 Exámenes del grupo 3 (María J. Hidalgo)

2 Exámenes del curso 2010–11

47
. . . . . . . . . . . . . . . . . . . 47
2.1 Exámenes del grupo 3 (María J. Hidalgo)
. . . . . . . . . . . . . . . . . . . 47
2.1.1 Examen 1 (29 de Octubre de 2010)
2.1.2 Examen 2 (26 de Noviembre de 2010)
. . . . . . . . . . . . . . . . . 50
2.1.3 Examen 3 (17 de Diciembre de 2010) . . . . . . . . . . . . . . . . . . 53
2.1.4 Examen 4 (11 de Febrero de 2011) . . . . . . . . . . . . . . . . . . . . 59
. . . . . . . . . . . . . . . . . . . . 59
2.1.5 Examen 5 (14 de Marzo de 2011)
2.1.6 Examen 6 (15 de abril de 2011)
. . . . . . . . . . . . . . . . . . . . . 59
2.1.7 Examen 7 (27 de mayo de 2011) . . . . . . . . . . . . . . . . . . . . . 64
2.1.8 Examen 8 (24 de Junio de 2011) . . . . . . . . . . . . . . . . . . . . . 73
2.1.9 Examen 9 ( 8 de Julio de 2011) . . . . . . . . . . . . . . . . . . . . . . 73
2.1.10 Examen 10 (16 de Septiembre de 2011) . . . . . . . . . . . . . . . . . 74

3

4

Índice general

2.2 Exámenes del grupo 4 (José A. Alonso y Agustín Riscos)

2.1.11 Examen 11 (22 de Noviembre de 2011) . . . . . . . . . . . . . . . . . 74
. . . . . . . . . . 74
. . . . . . . . . . . . . . . . . . . 74
2.2.1 Examen 1 (25 de Octubre de 2010)
. . . . . . . . . . . . . . . . . 75
2.2.2 Examen 2 (22 de Noviembre de 2010)
2.2.3 Examen 3 (20 de Diciembre de 2010) . . . . . . . . . . . . . . . . . . 77
2.2.4 Examen 4 (11 de Febrero de 2011) . . . . . . . . . . . . . . . . . . . . 81
2.2.5 Examen 5 (14 de Marzo de 2011)
. . . . . . . . . . . . . . . . . . . . 83
2.2.6 Examen 6 (11 de Abril de 2011)
. . . . . . . . . . . . . . . . . . . . . 86
2.2.7 Examen 7 (23 de Mayo de 2011) . . . . . . . . . . . . . . . . . . . . . 90
2.2.8 Examen 8 (24 de Junio de 2011) . . . . . . . . . . . . . . . . . . . . . 94
2.2.9 Examen 9 ( 8 de Julio de 2011) . . . . . . . . . . . . . . . . . . . . . . 100
2.2.10 Examen 10 (16 de Septiembre de 2011) . . . . . . . . . . . . . . . . . 107
2.2.11 Examen 11 (22 de Noviembre de 2011) . . . . . . . . . . . . . . . . . 112

3 Exámenes del curso 2011–12

3.1 Exámenes del grupo 1 (José A. Alonso y Agustín Riscos)

119
. . . . . . . . . . 119
3.1.1 Examen 1 (26 de Octubre de 2011)
. . . . . . . . . . . . . . . . . . . 119
3.1.2 Examen 2 (30 de Noviembre de 2011)
. . . . . . . . . . . . . . . . . 120
3.1.3 Examen 3 (25 de Enero de 2012) . . . . . . . . . . . . . . . . . . . . . 122
3.1.4 Examen 4 (29 de Febrero de 2012) . . . . . . . . . . . . . . . . . . . . 126
3.1.5 Examen 5 (21 de Marzo de 2012)
. . . . . . . . . . . . . . . . . . . . 129
3.1.6 Examen 6 ( 2 de Mayo de 2012)
. . . . . . . . . . . . . . . . . . . . . 131
3.1.7 Examen 7 (25 de Junio de 2012) . . . . . . . . . . . . . . . . . . . . . 135
3.1.8 Examen 8 (29 de Junio de 2012) . . . . . . . . . . . . . . . . . . . . . 138
3.1.9 Examen 9 ( 9 de Septiembre de 2012) . . . . . . . . . . . . . . . . . . 143
3.1.10 Examen 10 (10 de Diciembre de 2012)
. . . . . . . . . . . . . . . . . 148
. . . . . . . . . . . . . . . . . . . 151
3.2 Exámenes del grupo 2 (María J. Hidalgo)
. . . . . . . . . . . . . . . . . . . 151
3.2.1 Examen 1 (27 de Octubre de 2011)
3.2.2 Examen 2 ( 1 de Diciembre de 2011)
. . . . . . . . . . . . . . . . . . 153
3.2.3 Examen 3 (26 de Enero de 2012) . . . . . . . . . . . . . . . . . . . . . 157
3.2.4 Examen 4 ( 1 de Marzo de 2012) . . . . . . . . . . . . . . . . . . . . . 163
. . . . . . . . . . . . . . . . . . . . 168
3.2.5 Examen 5 (22 de Marzo de 2012)
3.2.6 Examen 6 ( 3 de Mayo de 2012)
. . . . . . . . . . . . . . . . . . . . . 171
3.2.7 Examen 7 (24 de Junio de 2012) . . . . . . . . . . . . . . . . . . . . . 177
3.2.8 Examen 8 (29 de Junio de 2012) . . . . . . . . . . . . . . . . . . . . . 184
3.2.9 Examen 9 ( 9 de Septiembre de 2012) . . . . . . . . . . . . . . . . . . 184
3.2.10 Examen 10 (10 de Diciembre de 2012)
. . . . . . . . . . . . . . . . . 184
3.3 Exámenes del grupo 3 (Antonia M. Chávez) . . . . . . . . . . . . . . . . . . 184
3.3.1 Examen 1 (14 de Noviembre de 2011)
. . . . . . . . . . . . . . . . . 184
3.3.2 Examen 2 (12 de Diciembre de 2011) . . . . . . . . . . . . . . . . . . 186
3.3.3 Examen 7 (29 de Junio de 2012) . . . . . . . . . . . . . . . . . . . . . 190

Índice general

5

3.4 Exámenes del grupo 4 (José F. Quesada)

. . . . . . . . . . . . . . . . . 190
3.3.4 Examen 8 (09 de Septiembre de 2012)
3.3.5 Examen 9 (10 de Diciembre de 2012) . . . . . . . . . . . . . . . . . . 190
. . . . . . . . . . . . . . . . . . . . 190
3.4.1 Examen 1 ( 7 de Noviembre de 2011) . . . . . . . . . . . . . . . . . . 190
3.4.2 Examen 2 (30 de Noviembre de 2011)
. . . . . . . . . . . . . . . . . 193
3.4.3 Examen 3 (16 de Enero de 2012) . . . . . . . . . . . . . . . . . . . . . 197
3.4.4 Examen 4 ( 7 de Marzo de 2012) . . . . . . . . . . . . . . . . . . . . . 202
3.4.5 Examen 5 (28 de Marzo de 2012)
. . . . . . . . . . . . . . . . . . . . 205
3.4.6 Examen 6 ( 9 de Mayo de 2012)
. . . . . . . . . . . . . . . . . . . . . 211
3.4.7 Examen 7 (11 de Junio de 2012) . . . . . . . . . . . . . . . . . . . . . 215
3.4.8 Examen 8 (29 de Junio de 2012) . . . . . . . . . . . . . . . . . . . . . 220
3.4.9 Examen 9 ( 9 de Septiembre de 2012) . . . . . . . . . . . . . . . . . . 220
3.4.10 Examen 10 (10 de Diciembre de 2012)
. . . . . . . . . . . . . . . . . 220

4 Exámenes del curso 2012–13

221
4.1 Exámenes del grupo 1 (Antonia M. Chávez) . . . . . . . . . . . . . . . . . . 221
. . . . . . . . . . . . . . . . . . 221
4.1.1 Examen 1 ( 7 de noviembre de 2012)
. . . . . . . . . . . . . . . . . . 223
4.1.2 Examen 2 (19 de diciembre de 2012)
4.1.3 Examen 3 ( 6 de febrero de 2013)
. . . . . . . . . . . . . . . . . . . . 227
4.1.4 Examen 4 ( 3 de abril de 2013) . . . . . . . . . . . . . . . . . . . . . . 227
4.1.5 Examen 5 (15 de mayo de 2013) . . . . . . . . . . . . . . . . . . . . . 233
4.1.6 Examen 6 (13 de junio de 2013)
. . . . . . . . . . . . . . . . . . . . . 238
4.1.7 Examen 7 ( 3 de julio de 2013) . . . . . . . . . . . . . . . . . . . . . . 244
4.1.8 Examen 8 (13 de septiembre de 2013) . . . . . . . . . . . . . . . . . . 244
4.1.9 Examen 9 (20 de noviembre de 2013) . . . . . . . . . . . . . . . . . . 244
4.2 Exámenes del grupo 2 (José A. Alonso y Miguel A. Martínez) . . . . . . . . 244
. . . . . . . . . . . . . . . . . . 244
4.2.1 Examen 1 ( 8 de noviembre de 2012)
. . . . . . . . . . . . . . . . . . 246
4.2.2 Examen 2 (20 de diciembre de 2012)
. . . . . . . . . . . . . . . . . . . . 249
4.2.3 Examen 3 ( 6 de febrero de 2013)
. . . . . . . . . . . . . . . . . . . . 252
4.2.4 Examen 4 (21 de marzo de 2013)
. . . . . . . . . . . . . . . . . . . . . 255
4.2.5 Examen 5 ( 9 de mayo de 2013)
4.2.6 Examen 6 (13 de junio de 2013)
. . . . . . . . . . . . . . . . . . . . . 259
4.2.7 Examen 7 ( 3 de julio de 2013) . . . . . . . . . . . . . . . . . . . . . . 264
4.2.8 Examen 8 (13 de septiembre de 2013) . . . . . . . . . . . . . . . . . . 271
4.2.9 Examen 9 (20 de noviembre de 2013) . . . . . . . . . . . . . . . . . . 275
. . . . . . . . . . . . . . . . . . . 280
4.3.1 Examen 1 (16 de noviembre de 2012) . . . . . . . . . . . . . . . . . . 280
4.3.2 Examen 2 (21 de diciembre de 2012)
. . . . . . . . . . . . . . .