1. No category

Introducci´on a la computaci´on
Taller Flash No 1
Fecha de entrega: Viernes 27 de Marzo de 2015
1.
Ejercicio 1
Implementar una funci´
on que cumpla con la siguiente especificaci´on:
problema Cavenaghi(n : Z) = result : R{
i+1
Pn
4
asegura : result = i=1 (−1)
2i−1 ;
}
2.
Ejercicio 2
Implementar una funci´
on que cumpla con la siguiente especificaci´on:
problema Orion(n : Z) = result : Z{
requiere : n ≥ 1;
Presult
asegura : es2N 1(result) ∧ esP rimo(result) ∧ ( i=1 β(es2N 1(i) ∧
esP rimo(i))) = n;
aux es2N 1(x : Z) = (∃n : Z)(n ≥ 0 ∧ 2n − 1 = x);
P|x|
aux esP rimo(x : Z) = ( i=1 β(x m´od i = 0)) = 2;
}
Condiciones de entrega:
Generar un archivo python por cada ejercicio.
Los archivos fuentes deber´
an tener comentarios.
Por u
´nica vez, se permitir´
an dos m´etodos de entrega:
1. Agregar la cuenta icb2015 al repositorio Bitbucket del alumno.
Los docentes descargar´an la u
´ltima versi´on de los archivos directamente de ah´ı, luego de recibir un mail indicando que est´a listo.
2. Enviar por correo electr´onico un archivo comprimido incluyendo
todos los ejercicios del trabajo pr´actico a la lista de los docentes
de la materia: [email protected].
En ambos casos, deber´
an poner como subject:
“[Flash 1]: Apellido/LU(o DNI)”
Por ejemplo, podr´ıa ser: “[Flash 1]: Gonzalez 666/21”
Importante: En las pr´
oximas entregas, solo estar´a disponible la entrega mediante Bitbucket.
2