Atlantis Institut des Sciences Fictives

Curso: 2015-2016

Universidad de Zaragoza, Zaragoza

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

Idioma: Español

Profesor(es): Roy Golet, Alfredo ; Catalán Cantero, Carlos ; Tricas García, Fernando ; 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.