Sentit algebraic

Algorismes que resisteixen les proves

La unitat desenvolupa un procés complet: especificar i descompondre un problema, implementar-lo amb variables, condicions, repeticions i esdeveniments, i distingir dependències seqüencials de processos paral·lels. Finalment, ensenya a dissenyar casos límit, depurar amb hipòtesis i justificar les correccions mitjançant evidències reproduïbles.