CG1 - Comprender y utilizar el lenguaje matemático. Adquirir la capacidad para enunciar proposiciones en distintos campos de la Matemática, para construir demostraciones y para transmitir los conocimientos matemáticos adquiridos.

CG3 - Asimilar la definición de un nuevo objeto matemático, en términos de otros ya conocidos, y ser capaz de utilizar este objeto en diferentes contextos.

CG4 - Saber abstraer las propiedades estructurales (de objetos matemáticos, de la realidad observada, y de otros ámbitos) distinguiéndolas de aquellas puramente ocasionales y poder comprobarlas con demostraciones o refutarlas con contraejemplos, así como identificar errores en razonamientos incorrectos.

CT2 - Saber aplicar sus conocimientos a su trabajo o vocación de una forma profesional y poseer las competencias que suelen demostrarse por medio de la elaboración y defensa de argumentos y en la resolución de problemas.

CT4 - Poder transmitir información, ideas, problemas y soluciones a un público tanto especializado como no especializado.

CT5 - Haber desarrollado aquellas habilidades de aprendizaje necesarias para emprender estudios posteriores con un alto grado de autonomía.

Relacionar debidamente los mecanismos iterativos y recursivos como medios básicos para describir algoritmos. (CG4, CE5)
Saber calcular el coste de los algoritmos, tanto iterativos como recursivos. (CE1)
Conocer los métodos generales de diseño de algoritmos, y ser capaz de utilizarlos de manera más o menos mecánica para resolver problemas complejos, siendo consciente de la complejidad de los algoritmos que se obtengan en cada caso. (CG1, CG3, CE1, CE5)

Exposición del contenido básico de los temas y presentación de ejemplos representativos que ilustren las distintas técnicas y métodos.

Exposición de temas complementarios preparados por los alumnos.

Realización de ejercicios. Discusión de las soluciones aportadas por los alumnos a los ejercicios más interesantes.

Realización de prácticas de programación y verificación de algoritmos.

Implementación en algún lenguaje de programación de los algoritmos diseñados para algunos de los ejercicios propuestos.

2

4

8

Verificacion y derivacion de programas correctos. Esquemas algoritmicos para la resolucion de problemas.

Informática, Lógica matemática y Estructuras de datos.

El objetivo principal de esta asignatura es que los alumnos aprendan a utilizar metodologías y técnicas para el diseño y desarrollo de programas correctos de tamaño medio. Se estudian los métodos generales de diseño de algoritmos y cómo aplicarlos en el desarrollo de soluciones para problemas variados. Se aprenderá a valorar cuál de los distintos métodos aplicables al desarrollo de una solución es mejor para cada caso concreto desde el punto de vista de la complejidad.

-Diseño de algoritmos sencillos correctos: Especificación de algoritmos. Diseño y análisis de algoritmos iterativos y recursivos.
-Métodos generales de programación: Método divide y vencerás. Algoritmos voraces. Programación Dinámica. Métodos de exploración exhaustiva: vuelta atrás y ramificación y poda.

La calificación final tendra en cuenta:

Exámenes sobre la materia: 70%

Entrega de prácticas y ejercicios: 30%

En la convocatoria extraordinaria se tendrá en cuenta la entrega realizada de prácticas y ejercicios (30%) y la realización del examen final (70%).

Para aprobar la asignatura es necesario obtener un mínimo de 4 puntos en el examen.

En los exámenes se plantearán ejercicios similares a los resueltos durante el curso.

- Martí Oliet, N., Segura, C., Verdejo, J.A. (2012), Algoritmos correctos y eficientes: diseño razonado ilustrado con ejercicios, Garceta Grupo Editorial.
- Martí Oliet, N., Ortega Mallén,Y., Verdejo, J.A. (2013), Estructuras de datos y métodos algorítmicos - 213 Ejercicios resueltos (2ª Edición), Garceta Grupo Editorial.
- Peña Marí, R. (2005), Diseño de programas. Formalismo y abstracción (3ª edición), Prentice Hall.
- Peña Marí, R. (2019), Algoritmos y estructuras de datos. Con programas verificados en Dafny, Garceta Grupo Editorial.
- Brassard, G., Bratley, P. (1996), Fundamentals of algorithmics, Prentice Hall International. Versión en castellano: Fundamentos de algoritmia, Prentice Hall, 1997.
- Neapolitan, R., (2015), Foundations of algorithms, Jones & Bartlett Publishers.
- Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C. (2009) Introduction to algorithms (3ª edición), The MIT Press.
- Sitnikovski, B. (2022), Introducing Software Verification with Dafny Language: Proving Program Correctness. Apress Media, 2022.
- Skiena, S. S. (2020), The Algorithm Design Manual (3ª edición), Springer, 2020.

La asignatura dispondrá de un espacio en el Campus virtual que albergará la documentación que se considere necesaria, un foro de discusión y un sistema de intercambio de mensajes alumno-profesor.