Atlantis Institut des Sciences Fictives

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: