• Inicio

    Descripción general de la materia
     
    • Horarios: 
      • Lunes, miércoles y vienes. De 17 hs a 22 hs.
    • Aulas: 
      • Lunes: Laboratorio Turing (pab I)
      • Miércoles y Viernes: Aula 5
    • Objetivos

      La materia tiene por objetivo que los alumnos:

      Aprendan las herramientas para resolver con seguridad una clase sencilla de problemas: el tratamiento de secuencias. 

      Aprendan a demostrar que los programas construidos son correctos. 

      Resuelvan pequeños proyectos donde se apliquen las herramientas aprendidas.

    • Contenidos

      Especificación e implementación de programas. Corrección de programas. Tipos. Tipos abstractos. Tratamientos de secuencias. Fundamentos de ordenamiento

    • Correlatividades

      Análisis I (CBC), Algebra I.

    • Duración y modalidad

      La materia es cuatrimestral, con una carga horaria de 15 horas semanales: 5 horas de clases teóricas, 5 horas de clases prácticas y 5 horas de trabajo en laboratorio.