Nella ditta BatDat il controllo dei dati non viene effettuato con calcoli manuali, ma usando un programma al calcolatore che procede secondo il diagramma di flusso a lato (la casella gialla è quella di avvio). Qui sotto è riportato un esempio d'uso del programma.
Sai spiegare il procedimento di calcolo impiegato dal programma? (ricorda che "\" rappresenta la divisione intera)

? 4 ? 5 ? 8 ? 9 ? 6 ? 4 ? / ? 6         dato errato
? 4 ? 5 ? 8 ? 9 ? 6 ? 6 ? 4 ? / ? 6     ok
? 4 ? 5 ? 8 ? 0 ? 6 ? 6 ? 4 ? / ? 6     ok
  

Il programma mette in SommaCifre fa la somma delle cifre introdotte prima di "/", poi calcola il resto della divisione intera tra SommaCifre e 9 (SommaCifre-(SommaCifre\9)*9) e controlla se tale risultato è uguale a CifraControllo.  Infatti la divisione intera per 9 equivale a sottrarre 9 tante volte fino a che rimane un numero più piccolo di 9, che è appunto il resto.

Per altri commenti: Basi di rappresentazione neGli Oggetti Matematici.