Sentit algebraic
Programem decisions i repeticions
La unitat combina seqüències, condicionals i repeticions per classificar nombres d’una llista. La correcció es comprova amb traces, casos límit, sortides esperades i l’invariant que la suma dels recomptes coincideix amb els elements processats.