1.

(6p) mediante el uso de ternas de hoare especifique formalmente el algoritmo q calcula la suma de los elementos q se encuentran debajo de la diagonal principal de una matriz cuadrada. elabore el algoritmo y luego evalue su complejidad temporal y espacial 2. (7p) se ha realiuzado un registro de los alumnos de la facultad de ing de sistemas donde se han tomado los sgtes datos: codigo, nombres y apellidos, fecha de nac, escuela y promedio ponderado. Estos datos se almacenan en un vector de alumnos. Escriba un algoritmo para q deuelva los datos de los alumnos con mayor promedio ponderado por escuela. analice la eficiencia algoritmica del caso peor, mejor y promedio. 3 (7p) una tienda de equipos de computo lleva el control de sus existencias en un vector y tiene almacenado los codigos, descripcion, marca, modelo, precio y stock. escriba un aloritmo que ordene los equipos por codigo mediante el metodo de insercion directa y luego usando busqueda binaria mediante recursividad y la tecnica de divide y venceras devuelva el monto total del articulo buscado