Página principal > Programación II |
GDOC-2017-30209 |
Curso: 2017-2018
Universidad de Zaragoza,
Zaragoza
Titulación: Graduado en Ingeniería Informática
Idioma: Español
Profesor(es): SIMONA BERNARDI, ; JOAQUÍN ANTONIO EZPELETA, MATEO ; Iván García-Magariño, García ; FRANCISCO JAVIER MARTÍNEZ, RODRÍGUEZ ; CARLOS TELLERIA, ORRIOLS
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.
Este registro pertenece a las colecciones:
Materiales académicos > Guías docentes > Arquitectura e Ingeniería > Grados de Ingeniería y Arquitectura > Graduado en Ingeniería Informática
Materiales académicos > Guías docentes > Guías docentes: Curso 2017-2018