Diagrama de temas

  • Estructuras de Datos (2012)

    Colapsar todo Expandir todo

    estructuras.jpg

         

    Profesores

    Mario Aldea Rivas

    Pablo Sánchez Barreiro

    Departamento de Matemáticas, Estadística y Computación

     

     

        

       

       

       

    La asignatura tiene como objetivo dar a conocer los fundamentos de análisis, diseño, implementación, verificación y pruebas de los tipos abstractos de datos básicos y más comúnmente utilizados en el desarrollo de aplicaciones informáticas. Además, el alumno/a aprenderá a usar dichos tipos abstractos de datos como base para la construcción de aplicaciones informáticas, sabiendo elegir según las particularidades de cada aplicación, aquél tipo abstracto de datos que resulte más adecuado, atendiendo principalmente a criterios de eficiencia espacial y temporal.

    The goal of this subject is to make the student able to analyse, design, implement, verify and test basic abstract data types that are most frequently used for the development of software systems. Moreover, the student will learn how to use abstract data types as a cornerstone for the development of software systems, being able to select the abstract data type that is most suitable for an application according to its specific characteristics and considering as the temporal as the spatial efficiency.

     

    Palabras Clave de la Asignatura

    Queues, Tables, Tablas Hash, Hash, Estructuras de Datos, Algebraic Specifications, Colas, Pilas, Tablas de Dispersión, Lists, Stacks, Data Structures, Complexity, Complejidad Algorítmica, Trees, Abstract Data Types, Árboles, Tipos Abstractos de Datos, Especificaciones Algebraicas, Listas.

  • Materiales de Clase

    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