Programación 2. Pruebas para la evaluación voluntaria de la asignatura. Grado en Ingeniería Informática. Curso

Transcripción

1 Pruebas para la evaluación voluntaria de la asignatura Programación 2 Grado en Ingeniería Informática Departamento de Informática e Ingeniería de Sistemas Curso

2 PROGRAMACIÓN 2. Curso a prueba voluntaria de evaluación Esta es la primera prueba de evaluación voluntaria que se plantea en la asignatura Programación 2. Tiene un valor de 10 puntos. Debe ser resuelta individualmente y deberá ser resuelta en papel (manuscrita o impresa) y entregada al profesor de la asignatura como muy tarde en la clase de problemas del jueves 9 de abril. No se admiten trabajos enviados por correo electrónico. Se exigirá y valorará claridad y orden en los problemas resueltos. No serán corregidos los trabajos que presenten manifiestas coincidencias que denoten no ser fruto de un trabajo exclusivamente individual y personal. Problema 1 o [4 puntos]. Se asumen definidos los siguientes tipos de datos: Un dato de tipo Fecha representa una fecha del calendario struct Fecha { int dia, mes, anyo; // dia/ mes/año de la fecha ; Un dato de tipo Nif representa el NIF de un ciudadano español struct Nif{ int dni; // número de su DNI char letra ; // letra que corresponde al DNI anterior ; Un dato de tipo Persona representa información básica de un ciudadano español struct Persona { Nif nif ; // NIF del ciudadano Fecha nacimiento; // su fecha de nacimiento bool estacasada; // estacasda = true ( la persona está casada) // estacasda = false ( la persona está soltera ) bool eshombre; // eshombre = true ( la persona es un hombre) // eshombre = false ( la persona es una mujer) ; Se deben especificar formalmente, mediante los correspondientes predicados pre y postcondición, expresados matemáticamente, las siguientes cuatro funciones. Devuelve cierto si y sólo si en grupo[0,n 1] hay más mujeres que hombres. bool haymasmujeres (Persona grupo [], int n); 1

3 En g[0,n 1] puede haber almacenados datos de hombres y mujeres. Devuelve cierto si, y solo si, los datos de todos los hombres preceden a los de todas las mujeres, entendiendo por preceder estar almacenado en un elemento del vector con índice menor. bool estandistribuidos (Persona g [], int n); Sabiendo que en grupo[0,n 1] hay al menos una persona nacida en el mes número [elmes], debe devolver una persona de grupo[0,n 1] nacida en [elmes] que sea, preferentemente, una persona casada. Persona nacidaen (Persona grupo [], int n, int elmes); Devuelve el NIF de la persona de v[0, n 1] de mayor edad. Nif nifmasveterano (Persona v [], int n); Problema 2 o [2 puntos]. Diseñar sin bucles la función cerificar(n). Proceder a hacer un diseño recursivo, mediante inmersión solo en el caso de que sea imprescindible y, en tal caso, la función auxiliar debe estar adecuadamente especificada (textualmente). Pre: n>0 Post: Devuelve un entero que, al ser escrito en base 10, presenta las cifras no nulas de [n] y en el mismo orden y, entre cada par de cifras no nulas consecutivas, el número devuelto presenta un cero. Ejemplos: cerificar (7) = 7 cerificar (17) = 107 cerificar (113) = cerificar (170) = 107 cerificar (1203) = cerificar ( ) = cerificar (912000) = cerificar ( ) = int cerificar ( int n); Problema 3 o [4 puntos]. Diseñar sin bucles la función nacidaen(grupo,n,elmes). Proceder a hacer un diseño recursivo, mediante inmersión sólo en el caso de que sea imprescindible y, en tal caso, la función auxiliar debe estar especificada formalmente (matemáticamente). Sabiendo que en grupo[0,n 1] hay al menos una persona nacida en el mes número [elmes], debe devolver una persona de grupo[0,n 1] nacida en [elmes] que sea, preferentemente, una persona casada. Persona nacidaen (Persona grupo [], int n, int elmes); 2

4 Una solución del problema 1 o Pre: n >= 0 Post: haymasmujeres(grupo,n) = (Núm alfa EN [0,n 1].NOT grupo[alfa].eshombre) > (Núm alfa EN [0,n 1].grupo[alfa ]. eshombre) bool haymasmujeres (Persona grupo [], int n); Pre: n >= 0 Post: estandistribuidos (g,n) = (PT alfa EN [0,n 1].g[alfa ]. eshombre > (PT beta EN [0,alfa 1].g[beta].esHombe)) bool estandistribuidos (Persona g [], int n); Pre: (EX alfa EN [0,n 1].grupo[alfa ]. nacimiento. mes=elmes) Post: nacidoen(grupo,n,elmes) = N AND (EX alfa EN [0,n 1].grupo[alfa]=N) AND N.nacimiento.mes=elMes AND (N.estaCasado OR (PT alfa EN [EN [0,n 1].grupo[alfa]. nacimiento. mes=elmes > NOT grupo[alfa].estacasado)) Persona nacidaen (Persona grupo [], int n, int elmes); Pre: n > 0 Post: nifmasveterano(v,n) = VET.nif AND (EX alfa EN [0,n 1].v[alfa]=VET) AND (PT alfa EN [0,n 1].edad(VET)<=edad(grupo[alfa])) Siendo: edad(p) = 10000P.nacimiento.anyo + 100P.nacimiento.mes + P.nacimiento. dia Nif nifmasveterano (Persona v [], int n); 3

5 Una solución del problema 2 o Pre: n>0 Post: Devuelve un entero que, al ser escrito en base 10, presenta las cifras no nulas de [n] y en el mismo orden y, entre cada par de cifras no nulas consecutivas, el número devuelto presenta un cero. Ejemplos: cerificar (7) = 7 cerificar (17) = 107 cerificar (113) = cerificar (170) = 107 cerificar (1203) = cerificar ( ) = cerificar (912000) = cerificar ( ) = int cerificar ( int n) { if (n<10) { n>0 AND n<10 return n; else if (n %10==0) { n>10 AND n %10=0 return cerificar (n /10); else { n>10 AND n %10!=0 return 100 cerificar (n/10) + n %10; 4

6 Una solución del problema 3 o Se propone un diseño recursivo por inmersión mediante refuerzo de la precondición. Pre: n >= 0 AND (grupo[indcandidato].nacimiento.mes=elmes) AND NOT (grupo[indcandidato].estacasada) Post: nacidoen(grupo,n,elmes,indcandidato) = N AND (EX alfa EN [0,indCandidato].grupo[alfa]=N) AND N.nacimiento.mes=elMes AND (N.estaCasado OR (PT alfa EN [EN [0,indCandidato].grupo[alfa ]. nacimiento. mes=elmes > NOT grupo[alfa].estacasado)) Persona nacidaen (Persona grupo [], int n, int elmes, int indcandidato) { if (n > 0) { if ((grupo[n 1].nacimiento.mes == elmes) && (grupo[n 1].estaCasada)) { return grupo[n 1]; return nacidaen(grupo, n 1, elmes, indcandidato ); else { return grupo[indcandidato ]; Pre: (EX alfa EN [0,n 1].grupo[alfa ]. nacimiento. mes=elmes) Post: nacidoen(grupo,n,elmes) = N AND (EX alfa EN [0,n 1].grupo[alfa]=N) AND N.nacimiento.mes=elMes AND (N.estaCasado OR (PT alfa EN [EN [0,n 1].grupo[alfa]. nacimiento. mes=elmes > NOT grupo[alfa].estacasado)) Persona nacidaen (Persona grupo [], int n, int elmes) { if (grupo[n 1].nacimiento.mes == elmes) { if (grupo[n 1].estaCasada) { return grupo[n 1]; return nacidaen(grupo, n 1, elmes, n 1); else { return nacidaen(grupo, n 1, elmes); 5