Universidad de Zaragoza Repository

Curso: 2011-2012

Universidad de Zaragoza, Zaragoza

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

Idioma: Español

Profesor(es): Cerezo Bagdasari, Eva Mónica ; Nogueras Iso, Francisco Javier ; Martínez Rodríguez, Francisco Javier ; Peris Millan, Eduardo ; Lacasta Miguel, 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.

You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. You may not use the material for commercial purposes. If you remix, transform, or build upon the material, you must distribute your contributions under the same license as the original.