Repositorio Institucional de Documentos

Curso: 2014-2015

Universidad de Zaragoza, Zaragoza

Titulación: Graduado en Ingeniería Informática

Idioma: Español

Profesor(es): Catalán Cantero, Carlos ; Ezpeleta Mateo, Joaquín Antonio ; Bernad Lusilla, Jorge Raul ; Martínez Rodríguez, Francisco Javier ; Gallardo Casero, Jesús

Resumen: 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. A la vez profundizará en el aprendizaje de la tecnología asociada a la programación orientada a objetos.

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.