• Programa


    • Especificación de programas utilizando contratos.
    • Tipos de datos: algebraicos y abstractos.
    • El tipo de datos lista 
    • Conceptos básicos de los programas imperativos. Estructuras de control - variables.
    • El tipo de dato arreglo.
    • Fundamentos de ordenamiento
    • Funciones y procedimientos - pasaje de parámetros.
    • Ciclos - Construcción, terminación y corrección.