Pulse aquí si desea visionar el fichero referente al cronograma sobre el número de horas de los estudiantes.

Recomendaciones

Sería deseable que el alumno tuviese buena predisposición ante el aprendizaje.
De la misma manera, sería aconsejable que llevara a cabo un estudio y trabajo
continuado de la asignatura, complementando el estudio teórico-práctico con la
realización de actividades, con el fin de conseguir un dominio razonable de la
materia, puediendo llegar a obtener los resultados de aprendizaje deseados.

Profesorado

Nombre	Apellido 1	Apellido 2	C.C.E.	Coordinador
ESTHER LIDIA	SILVA	RAMIREZ	PROFESOR ASOCIADO REAL DECRETO	S

Competencias

Se relacionan aquí las competencias de la materia/módulo o título al que pertenece la asignatura, entre las que el profesorado podrá indicar las relacionadas con la asignatura.

Resultados Aprendizaje

Actividades formativas

Contenidos teóricos.

Resolución de ejercicios y problemas.
Las competencias transversales T01 y T04 se
trabajarán parcialmente durante el desarrollo de
esta actividad, siendo T12 trabajada y evaluada.

Realización de programas.
Las competencias transversales T01, T04, T05 y
T11 se trabajarán parcialmente durante el
desarrollo de esta actividad, siendo T12
trabajada y evaluada.

Actividades formativas no presenciales que se
corresponden con las horas de estudio del alumno,
incluyendo horas de estudio de contenidos
teóricos, prácticos y realización de problemas.
Las competencias transversales T01 y T04 se
trabajarán parcialmente durante el desarrollo de
esta actividad, siendo T12 trabajada y evaluada.

Evaluación

Criterios Generales de Evaluación

En los cuestionarios se valorará que las respuestas sean correctas.

En la resolución de cuestiones y problemas prácticos, así como implementación de
programas y realización de examen final se valorarán los siguientes aspectos:

- Cumplimiento de las diferentes actividades prácticas en plazo y/o forma.
- Correcta expresión escrita.
- Claridad y precisión en el proceso de resolución de ejercicios.
- Corrección en la solución de los ejercicios.
- Adecuada aplicación de los conocimientos teóricos a la práctica.
- Uso de un buen estilo de programación.
- Documentación de programas.
- Corrección, claridad y eficiencia de los programas.

Procedimiento de Evaluación

Procedimiento de calificación

La evaluación constará de tres partes: actividades teóricas sobre los contenidos
de la asignatura, actividades prácticas y examen final.

Las actividades teóricas constan de una serie de cuestionarios y las actividades
prácticas se basan en la realización y entrega de ejercicios y programas que
serán resueltos de manera individual o colectiva, según se indique.

La correcta cumplimentación de todos los cuestionarios y la solución correcta a
los ejercicios prácticos e implementación de programas se valorará con un máximo
de un 20% de la nota final.

Para que sea tenida en cuenta la calificación obtenida en los cuestionarios es
imprescindible la asistencia regular a clase de teoría y contestar correctamente
a un mínimo de un 65% de todas la cuestiones planteadas. De la misma manera, para
que sea tenida en cuenta la calificación obtenida en los ejercicios prácticos es
necesaria la asistencia regular a clases prácticas.


Los exámenes, que serán escritos y calificables de 0 a 8, constiyendo el 80% de
la nota final, incluirán aspectos teórico-prácticos de la asignatura y
consistirán en una serie de cuestiones y problemas a los que el alumno deberá
aportar una solución fundamentada en el contenido teórico de la asignatura.

La calificación final constará de la calificación del examen, si ésta es igual o
superior a 4 puntos, más la calificación obtenida en las actividades realizadas,
según la ponderación siguiente:

Actividades = 50% nota actividades teóricas + 50% nota actividades prácticas.

Para aprobar la asignatura se requerirá la obtención de una calificación final
superior o igual a 5.

Descripcion de los Contenidos

            C1. Diseño de algoritmos recursivos. Transformación sobre algoritmos recursivos. Técnicas de inmersión. Desplegado
y Plegado. Transformación de algoritmos recursivos a iterativos.
        

            C2. Introducción a la verificación formal de algoritmos. Uso de pre y postcondiciones y demostraciones elementales de
corrección. Razonamientos sobre sentencias de asignación. Composición secuencial de instrucciones. Razonamiento
sobre el esquema de selección. Razonamiento sobre bucles. Especificación de funciones. Verificación de funciones
recursivas.
        

            C3. Visión genérica de la Ingeniería del Software. Concepto de módulo. Criterios de descomposición modular.
Relación entre módulos. Reutilización de módulos. Ventajas de la modularización de algoritmos. Documentación.
        

            C4. Técnicas de prueba del software. Estrategias de prueba del software.
        

            C5. Introducción al Análisis de algoritmos. Eficiencia de un algoritmo. Tiempo y espacio. ¿Por qué hay que buscar
la eficiencia? Estimación Objetiva. Análisis de complejidad. (Notación asintótica).Órdenes de magnitud en la
complejidad de algoritmos. Aplicación: algoritmos de búsqueda y ordenación.
        

Bibliografía

Bibliografía Básica

Bibliografía Específica

El presente documento es propiedad de la Universidad de Cádiz y forma parte de su Sistema de Gestión de Calidad Docente. En aplicación de la Ley 3/2007, de 22 de marzo, para la igualdad efectiva de mujeres y hombres, así como la Ley 12/2007, de 26 de noviembre, para la promoción de la igualdad de género en Andalucía, toda alusión a personas o colectivos incluida en este documento estará haciendo referencia al género gramatical neutro, incluyendo por lo tanto la posibilidad de referirse tanto a mujeres como a hombres.