Diseño calculo seno

Práctica de Programación II
Cuadernillo del Alumno

PARA TODOS LOS ALUMNOS:
La asistenciaa las sesiones de prcticas es obligatoria (sin excepciones), por lo que debes informarte del calendario y procedimiento para asistir a esas sesiones en tu Centro Asociado. El plazo para entregar la documentación lo establece el Tutor de Prácticas . del Centro AsociadoLa calificación y las revisiones sobrela misma las realiza ese mismo tutor. Todos los Tutoresdeberán darse de alta en la aplicación de entrega de calificaciones de prácticas. Todos los alumnos deberán registrarsea través de su curso virtual, con el , tutor o tutora con que hayan asistido a las sesiones presenciales obligatorias de prácticas. Los alumnos matriculados en el extranjero deben ponerse en contacto con su tutor virtual en elforo de alumnos en el extranjero . No se puede entregarla documentación si no se ha asistidoa las sesiones de prácticas. la No se puede aprobar asignatura sin haber aprobado la práctica. Las dudas sobre la práctica, pueden consultarse al Tutor, durante las sesiones de prácticas o al Tutor Virtual en CiberUNED. ¡Consulta el calendario de la asignatura en los cursos virtuales!

Muy importante: losexámenes de la asignatura podrán contener preguntas cuyo enunciado se extraiga de alguna de las partes o cuestiones de esta práctica transformándolas en un cierto grado. Será necesario contestar correctamente esas preguntas para acceder al beneficio en la calificación que pueda aportar la nota obtenida en la práctica.

Alumno: Manuel Angel Picallo Pérez Centro Asociado: Las Palmas de GranCanaria

´ Indice
1. Cuestiones preliminares 1.1. Objetivos de la Práctica de Programación II . . . . . . . . . . . . . . . . . . . . 1.2. Comentarios al enunciado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3. Aspectos importantes sobre las prácticas . . . . . . . . . . . . . . . . . . . . . . 2. Enunciado de la práctica 2.1. Cuestiones sobre el enunciado . . . . . . . . . . . . .. . . . . . . . . . . . . . . 3. Especificación 3.1. Consideraciones sobre la especificación . . . . . . . . . . . . . . . . . . . . . . 3.2. Cuestiones sobre la especificación . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3. Especificación formal de la función sink (trabajo del alumno) . . . . . . . . . 4 4 4 5 7 8 9 9 10 10

4. Diseño recursivo de sink 10 4.1. Especificación de una funciónauxiliar, tmno . . . . . . . . . . . . . . . . . . . . 10 4.2. Expresión de sink respecto a tmno . . . . . . . . . . . . . . . . . . . . . . . . . 11 4.3. Cuestiones sobre la especificación de la función auxiliar tmno . . . . . . . . . 11 . 4.4. Diseño recursivo de sink . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 4.5. Análisis por casos . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . 12 4.6. Análisis por casos de la función sink (trabajo del alumno) . . . . . . . . . . . 12 4.7. Composición algorítmica (trabajo del alumno) . . . . . . . . . . . . . . . . . . 13 4.8. Verificación formal de la corrección . . . . . . . . . . . . . . . . . . . . . . . . . 13 4.8.1. Completitud de la alternativa (trabajo del alumno) . . . . . . . . . . . 13 4.8.2.Satisfacción de la precondición para la llamada interna (trabajo del alumno) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 4.8.3. Base de la inducción (trabajo del alumno) . . . . . . . . . . . . . . . . 15 4.8.4. Paso de inducción (trabajo del alumno) . . . . . . . . . . . . . . . . . 15 . 4.8.5. Elección de una estructura de preorden bien fundado (trabajo del alumno)16 .4.8.6. Demostración del decrecimiento de los datos (trabajo del alumno) . 16 .. 4.9. Estudio del coste del algoritmo (trabajo del alumno) . . . . . . . . . . . . . . 17 4.10. Cuestiones sobre el diseño y verificación recursivos . . . . . . . . . . . . . . . 17 5. Optimización del diseño recursivo 5.1. Transcripción del código de tmno a sink (trabajo del alumno) . . . . . . . . . 5.2. Inmersión de...