The logic behind breaking down computing problems and information systems into step-by-step processes in order to solve problems or achieve specified outcomes. It involves sequencing and abstraction and leads to algorithmic statements.