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.

CG2 - Conocer demostraciones rigurosas de algunos teoremas clásicos en distintas áreas de la Matemática.

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.

CT1 - Haber demostrado poseer y comprender conocimientos en el área de las Matemáticas, partiendo de la base de la educación secundaria general, y alcanzando un nivel que, si bien se apoya en libros de texto avanzados, incluye también algunos aspectos que implican conocimientos procedentes de la vanguardia de dicha área.

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.

CE1 - Resolver problemas de Matemáticas, mediante habilidades de cálculo básico y otras técnicas.

CE2 - Proponer, analizar, validar e interpretar modelos de situaciones reales sencillas, utilizando las herramientas matemáticas más adecuadas a los fines que se persigan.

CE3 - Planificar la resolución de un problema en función de las herramientas de que se disponga y de las restricciones de tiempo y recursos.

CE5 - Desarrollar programas que resuelvan problemas matemáticos utilizando para cada caso el entorno computacional adecuado.

CE6 - Utilizar herramientas de búsqueda de recursos bibliográficos en Matemáticas.

CE7 - Comunicar, tanto por escrito como de forma oral, conocimientos, procedimientos, resultados e ideas matemáticas.

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

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

Se requieren conocimientos básicos de programación imperativa, correspondientes a la asignatura de Informática: variables, condicionales, bucles, tipos de datos compuestos (arrays, matrices, clases) y recursión.
Se recomienda haber cursado las asignaturas de Estructuras de datos y Lógica Matemática.

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 tendrá en cuenta:

Entrega de prácticas y ejercicios a lo largo del curso: 25 %. Algunos de estos ejercicios se realizarán y se entregarán durante las horas de clase.

Examen final: 75 %. En este examen se plantearán ejercicios similares a los resueltos durante el curso.

En la convocatoria extraordinaria se tendrá en cuenta la entrega de prácticas y ejercicios (25%) realizados durante el curso y la realización del examen final (75%).

- 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.
- Leino, K.R.M. (2022), Program Proofs. The MIT Press, 2023.
- 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.