• Programa

    • Inducción y Recursión
    • Sintaxis, Intérpretes y Compiladores de Lenguajes
    • Programación Funcional
    • Sistemas de Tipos
    • Semántica Operacional
    • Revisión del Paradigma Imperativo
    • Programación Lógica
    • Programación Orientada a Objetos