Trabajos Prácticos de la materia Algoritmos y Estructuras de Datos 2
El TP1 trata sobre especificar en lenguaje formal el funcionamiento de las elecciones nacionales, implementar 2 algortimos en Small Lang y demostrar su correctitud usando el Teorema del Invariante y el Teorema de Terminación de un ciclo.
El TP2 trata sobre diseñar, a partir de la especificación de un Tipo Abstracto de Datos (TAD), e implementar el sistema de votación de la Cámara Nacional Electoral (CNE), cumpliendo ciertas restricciones de complejidad, para esto usamos ciertos tipos de estructuras como Heaps.
Hecho en Java, programación orientada a objetos.