Perfilado de sección

  • materiales

     

     

    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

      

    6. Tipos Abstractos de Datos Jerárquicos