Programa Teórico

MÓDULO 0: LENGUAJE C (8 horas)
    Tema 0: Lenguaje C
Bibliografía básica: [DI98]
MÓDULO 1: INTRODUCCIÓN A LOS CONCEPTOS DE INGENIERÍA DEL SOFTWARE (2 hora)
    Tema 1: Introducción a la ingeniería del software
Bibliografía básica: [TPMP2]
Bibliografía complementaria: [PR93]
MÓDULO 2: VERIFICACIÓN FORMAL DE ALGORITMOS (16 horas)
    Tema 2: Introducción a la verificación. Lógica de predicados
    Tema 3: Verificación de algoritmos iterativos
    Tema 4: Verificación de algoritmos recursivas
    Tema 5: Derivación de algoritmos
    Tema 6: Prueba de programas
Bibliografía básica: [TPMP2]
Bibliografía complementaria: [PE97]
MÓDULO 3: ANÁLISIS DE LA EFICIENCIA DE ALGORITMOS (16 horas)
    Tema 7: Introducción al análisis
    Tema 8: Notaciones asintóticas
    Tema 9: Análisis de la eficiencia de algoritmos iterativos
    Tema 10: Resolución de recurrencias 
    Tema 11: Análisis de la eficiencia de algoritmos recursivos
Bibliografía básica: [TPMP2]
Bibliografía complementaria: [BR98]
MÓDULO 4: DISEÑO DE ALGORITMOS (16 horas)
    Tema 12: Algoritmos voraces
    Tema 13: Divide y vencerás
    Tema 14: Programación dinámica
    Tema 15: Vuelta atrás
Bibliografía básica: [TPMP2]
Bibliografía complementaria: [BR98]
MÓDULO 5: COMPLEJIDAD COMPUTACIONAL (2 hora)
    Tema 16: Introducción a los problemas NP-Completos
Bibliografía básica: [TPMP2]
Bibliografía complementaria: [BR98]