Cette division définit l'axiomatique de l'algorithmique impérative et sa traduction pour l'écriture des programmes dans les divers langages. Dans le cas de la découverte, les modules sont à réaliser selon l'enchaînement linéaire défini, à savoir :

1. Structures de base

2. Structures conditionnelles

3. Algorithmes paramétrés ou Structures répétitives

4. Structures répétitives ou Algorithmes paramétrés

5. Schéma itératif

6. Structures tabulaires

7. Structuration de l'information

8. Fichiers

9. Exercices généraux