• Programa

    Programa detallado:

    Unidad 1. Lógica.

    • Lógica de Primer Orden
    • Lógica Trivaluada
    • Lógica Proposicional

    Unidad 2. Especificación de problemas

    • Noción de contrato.
    • Pre y postcondición.
    • Formalización de las descripciones de soluciones a problemas.

    Unidad 3: Modelo de Cómputo

    • Organización de una computadora
    • Modelo de Von Neuman, ciclo de instrucción y jerarquía de memoria
    • Arquitecturas

    Unidad 4: Inducción

    • Principio de Inducción
    • Funciones recursivas

    Unidad 5: Búsqueda y Ordenamiento

    • Búsqueda Lineal
    • Búsqueda Binaria
    • Algoritmos de ordenamiento

    Unidad 6: Técnicas algoritmicas

    • Divide & conquer
    • Backtracking

    Unidad 7: Tipos abstractos de datos

    • Definición de tipos
    • Formalización
    • Manejo de excepciones
    • Introducción al testing

    Unidad 8: Herramientas

    • Herramientas de manejo de testing
    • Repositorios de código

    Evaluación

    La evaluación consistirá, en un principio, en:

    • Un parcial
    • Seis talleres individuales
    • Un trabajos práctico
    • Un coloquio final

    Esto no significa que no se puedan agregar evaluaciones adicionales durante el cuatrimestre en base al rendimiento individual de los alumnos.