Programación Avanzada
11 clases- Clase 1 · Definiciones básicas: algoritmo, lenguaje de programación, gramáticas (Chomsky) y técnicas de programación
- Clase 2 · Técnicas de solución de problemas: divide y vencerás y backtracking
- Clase 3 · Backtracking aplicado: las 8 reinas y los cuadros mágicos, y la técnica de solución por patrones
- Clase 4 · Demostración formal de programas: ternas de Hoare, precondiciones y poscondiciones, corrección parcial y total
- Clase 5 · Verificación de Programas con la Lógica de Hoare
- Clase 6 · Corrección de Programas: Regla de la Asignación, Composición e Invariantes
- Clase 7 · Invariantes de ciclo, inducción matemática (simple y fuerte) y la función 91 de McCarthy
- Clase 8 · Problemas no computables y Programación Lógica
- Clase 9 · Programación en Prolog: resolución, cláusulas y aplicaciones
- Clase 10 · Resolución lógica y cláusulas: el resolvente y primeros programas en Prolog
- Clase 11 · Prolog en práctica: unificación, listas, aritmética y el problema de la Zebra