000067658 001__ 67658 000067658 005__ 20180223095002.0 000067658 037__ $$aGDOC-2016-30209 000067658 041__ $$aspa 000067658 100__ $$0(orcid)0000-0002-9622-8186$$1130013$$aEzpeleta Mateo, Joaquín Antonio 000067658 24500 $$930209$$aProgramación II 000067658 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2016-2017 000067658 520__ $$aBreve 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.$$b 000067658 521__ $$9148$$aIngeniería Informática 000067658 540__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000067658 700__ $$0(orcid)0000-0002-5547-855X$$1387508$$aMartínez Rodríguez, Francisco Javier 000067658 700__ $$0(orcid)0000-0002-2726-6760$$1391426$$aGarcía-Magariño García, Iván 000067658 830__ $$9439 000067658 830__ $$9443 000067658 8564_ $$s14355$$uhttps://zaguan.unizar.es/record/67658/files/guia-30209-es.pdf$$yGuía (idioma español) 000067658 8564_ $$s8890$$uhttps://zaguan.unizar.es/record/67658/files/guia-30209-en.pdf$$yGuide (english) 000067658 970__ $$aGDOC-2016-30209 000067658 980__ $$aGDOC$$bIngeniería y arquitectura$$c110 000067658 980__ $$aGDOC$$bIngeniería y arquitectura$$c326