Estructuras de Datos (2012)

 

 

1. Programación imperativa

• MC-F-001. Presentación del Tema 1.

• MC-F-002. Diseño por contrato: desarrollo de software fiable.

• MC-F-003. Lenguaje de pseudocódigo.

  

2. Fundamentos de complejidad algorítmica

• MC-F-004. Presentación del Tema 2.

• MC-F-005. Procedimientos para calcular la complejidad de un algoritmo recursivo tipo divide y vencerás.

  

3. Técnicas de implementación

• MC-F-006. Presentación del Tema 3. Parte 1: Lineales.

• MC-F-007. Presentación del Tema 3. Parte 2: Tablas Hash.

• MC-F-008. Presentación del Tema 3. Parte 3: Árboles.

• MC-F-009. Presentación del Tema 3. Parte 4: Árboles binarios de búsqueda.

  

4. Concepto y especificación de Tipos Abstractos de Datos

• MC-F-010. Presentación del Tema 4.

• MC-F-011. Verificación de Propiedades de un Tipo Abstracto de Datos usando su Especificación Algebraica.

  

5. Tipos Abstractos de Datos Lineales

• MC-F-012. Presentación del Tema 5.

  

6. Tipos Abstractos de Datos Jerárquicos

• MC-F-013. Presentación del Tema 6.