Diferencia entre revisiones de «Algoritmos y Estructuras de Datos»
(Tads +++) |
Sin resumen de edición |
||
| Línea 1: | Línea 1: | ||
'''Algoritmos y Estructuras de Datos II''' es una materia de las mas trascendentes en la carrera. En ella se ve la especificación formal de tipos de datos, 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. Los trabajos prácticos por lo general son bastante largos, pero sirven de buena experiencia para ese tipo de actividades. | '''Algoritmos y Estructuras de Datos II''' es una materia de las mas trascendentes en la carrera. En ella se ve la especificación formal de tipos de datos, 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. Los trabajos prácticos por lo general son bastante largos, pero sirven de buena experiencia para ese tipo de actividades. | ||
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 más óptima 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. | |||
== Contenidos == | == Contenidos == | ||
Revisión del 19:59 7 oct 2006
Algoritmos y Estructuras de Datos II es una materia de las mas trascendentes en la carrera. En ella se ve la especificación formal de tipos de datos, 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. Los trabajos prácticos por lo general son bastante largos, pero sirven de buena experiencia para ese tipo de actividades.
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 más óptima 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.
Contenidos
- Tipos Abstractos de Datos (TADs)
- Inducción Estructural
- Sorting
- Estructuras de Datos
- Backtracking
- Eliminación de la Recursión
- Diseño
