Diferencia entre revisiones de «Algoritmos y Estructuras de Datos»
| Línea 48: | Línea 48: | ||
*[[Final 1C/2011 (Algoritmos II)|Final del primer cuatrimestre de 2011]] | *[[Final 1C/2011 (Algoritmos II)|Final del primer cuatrimestre de 2011]] | ||
*[[Final 2C/2012 (Algoritmos II)|Final del segundo cuatrimestre de 2012]] | *[[Final 2C/2012 (Algoritmos II)|Final del segundo cuatrimestre de 2012]] | ||
*[[Final 1C/2013 (Algoritmos II)|Final del primer cuatrimestre de 2013]] | *[[Final 1C/2013 (Algoritmos II)|Final del primer cuatrimestre de 2013 (1)]] | ||
*[[Final 1C/2013 2 (Algoritmos II)|Final del primer cuatrimestre de 2013]] | *[[Final 1C/2013 2 (Algoritmos II)|Final del primer cuatrimestre de 2013 (2)]] | ||
== Bibliografía Recomendada == | == Bibliografía Recomendada == | ||
Revisión del 01:37 2 sep 2013
Plantilla:Completar guías Algoritmos y Estructuras de Datos II es una materia donde se estudia la especificación formal de tipos de datos, y el diseño de los mismos para su posterior implementación. Tambien se ve, paralelamente, eliminación de la recursión, inducción estructural, métodos algoritmicos y algoritmos de sorting.
Según el Plan de la Carrera es una materia a ser cursada en Segundo año. Es correlativa de Algoritmos y Estructuras de Datos I y es necesaria para cursar Algoritmos y Estructuras de Datos III, Lógica y Computabilidad y Sistemas Operativos
Información General sobre la Cursada
Algoritmos II consiste de clases teóricas y prácticas. Para aprobar la materia se deben rendir 2 exámenes parciales y 4 trabajos prácticos.
Trabajos Prácticos
La materia tiene 4 Trabajos Prácticos. El TP0 es un trabajo corto cuyo objetivo es hacer que el alumno tome contacto y se acostumbre al desarrollo de estructuras de datos en C++.
Los otros 3 Trabajos Prácticos consisten en las 3 etapas (Especificación, Diseño, Implementación) de un problema dado. Los trabajos prácticos por lo general son bastante largos, pero sirven de buena experiencia para ese tipo de actividades.
Algoritmos II es promocionable. La condición de promoción del último cuatrimestre (2do Cuatri 2012) fue tener entre los 2 exámenes 4 ejercicios aprobados y ninguno insuficiente.
Contenidos
Cuando se habla de especificación formal de tipos de datos (tambien conocidos como TADs) se refiere a expresar el comportamiento que va a tener en funcion de las diferentes acciones que se le aplican. Para ésto es que se vale de la lógica algebraica, o por axiomas, la cual (intenta) eliminar la ambiguedad que se podría producir si se hace en lenguaje castellano.
En diseño lo que se hace es elegir la mejor manera (la mejor en términos de requerimientos de performance pero a su vez fácil de hacer) de representar los TADs en la "realidad" (principalmente, ésta realidad es un medio computacional). Para ésto es que se valen de estructuras de datos "básicas" mediante las cuales construir otras mas complejas que sirvan para otras aún más complejas, y asi sucesivamente.
- Tipos Abstractos de Datos (TADs)
- Inducción Estructural
- Sorting
- Estructuras de Datos
- Eliminación de la Recursión
- Diseño
Prácticas
- Práctica 1: Tipos algebraicos y especificación.
- Práctica 2: Inducción estrutural.
- Práctica 3: Diseño -- invariante de representación y función de abstracción.
- Práctica 4: Ordenes y complejidad algorítmica.
- Práctica 5: Diseño.
- Práctica 6: Divide and Conquer.
- Práctica 7: Ordenamiento.
Finales
- Final del primer cuatrimestre de 2006
- Final del segundo cuatrimestre de 2006
- Final del primer cuatrimestre de 2007
- Final del segundo cuatrimestre de 2007 (1)
- Final del segundo cuatrimestre de 2007 (2)
- Final del primer cuatrimestre de 2008
- Final del segundo cuatrimestre de 2009 (1)
- Final del segundo cuatrimestre de 2009 (2)
- Final del primer cuatrimestre de 2010
- Final del primer cuatrimestre de 2011
- Final del segundo cuatrimestre de 2012
- Final del primer cuatrimestre de 2013 (1)
- Final del primer cuatrimestre de 2013 (2)
Bibliografía Recomendada
- Thomas Cormen; Charles Leirserson; Ronald Rivest y Clifford Stein, Introduction to algorithms, MIT Press, 2001 (Circulante 681 332 Cormen en la Biblioteca Central)
