Si desea visionar el/los fichero/s referente/s al cronograma sobre el número de horas de los estudiantes pulse sobre su nombre:

• 1282-21714007-CargaGradoIngInformatica-MP.pdf

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.

Profesores

Nombre	Apellido 1	Apellido 2	C.C.E.	Coordinador
Antonio	Balderas	Alberico	PROFESOR SUSTITUTO	N
EUGENIO	JUAREZ	CLAVAIN	PROFESOR ASOCIADO	N
MANUEL	LOPEZ	COELLO	PROFESOR ASOCIADO	N
Juan jose	monedero	rojo	profesor asociado	N
Esther Lidia	Silva	Ramírez	Profesora Contratada Doctora	S

Competencias

Se relacionan aquí las competencias de la Materia/módulo o título a que pertenece la asignatura, entre las que el profesor 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.


Los cuestionarios se realizarán a través del campus virtual, se dispondrá de
varios días para su realización, y se podrá utilizar todo el material deseado
para su consulta. Como se describe en el procedimiento de calificación, los
cuestionarios formarán parte de la evaluación, y por tanto tendrán el mismo
tratamiento que los exámenes que se realizan físicamente en el aula, es decir,
tendrán asignados unas fechas y horarios y habrá que cumplirlos. Las diferencias
entre ambos tipos de exámenes son las expuestas con anterioridad, por lo demás,
se rigen por las mismas pautas.


El campus virtual será el medio donde se publicará el material docente,
calificaciones, convocatorias, se realizarán los cuestionarios, etc. En general,
se publicará toda la información necesaria, contituyendo una fuente oficial de
comunicación entre profesorado y alumnado. Esto implica la obligación diaria de
revisar el estado del aula virtual, para tener conocimiento en el plazo adecuado
de todo lo relacionado con la asignatura.

Procedimiento de Evaluación

Procedimiento de calificación

La evaluación constará de dos partes: la realización de actividades
teóricas-prácticas (ATP) y examen final (EF).

La calificación final de la asignatura constará de la calificación del examen más
la calificación obtenida en las actividades realizadas, según la siguiente
fórmula:

NF = 0,3·ATP + 0,7·EF

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

Las actividades ATP constarán de tres partes: actividades teóricas sobre los
contenidos de la asignatura (AT), que consistirán en la realización de una serie
de cuestionarios que se realizará a través del campus virtual. Actividades
prácticas (AP), correspondientes a las clases de problemas, que consistirán en la
realización y entrega de ejercicios. Y por último, las actividades de
programación (AI), correspondientes a las clases de laboratorios, que consistirán
en la realización de programas que serán resueltos de manera individual o
colectiva, según se indique.

El 30% correspondiente a todas las actividades ATP descritas podrá ser obtenido
por aquellos alumnos que asistan regularmente a clase, lleven a cabo todas las
tareas que se indiquen y contesten correctamente a un mínimo de un 65% de todas
la preguntas planteadas en los cuestionarios, según la ponderación siguiente:

ATP = 1/6·AT + 1/3·AP + 1/2·AI

Los exámenes, que serán escritos y calificables de 0 a 10, constituyendo el 70%
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.

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