Repositorio Institucional de Documentos

Curso: 2016-2017

Universidad de Zaragoza, Zaragoza

Titulación: Ingeniería Informática

Idioma: Español

Profesor(es): Ezpeleta Mateo, Joaquín Antonio ; Martínez Rodríguez, Francisco Javier ; García-Magariño García, Iván

Resumen: Breve presentación de la asignatura Esta asignatura persigue que el alumno mejore su capacidad para diseñar programas de ordenador haciendo énfasis en su corrección y su eficiencia. Para ello el alumno va a aprender a especificar formalmente algoritmos, a diseñar algoritmos iterativos y recursivos correctos, a probar de forma rigurosa la corrección de estos algoritmos y a analizar su coste.

Abstract:

Debe reconocer adecuadamente la autoría, proporcionar un enlace a la licencia e indicar si se han realizado cambios. Puede hacerlo de cualquier manera razonable, pero no de una manera que sugiera que tiene el apoyo del licenciador o lo recibe por el uso que hace. No puede utilizar el material para una finalidad comercial. Si remezcla, transforma o crea a partir del material, deberá difundir sus contribuciones bajo la misma licencia que el original.