On décrit sommairement la structure et le fonctionnement des ordinateurs (aucune connaissance à ce sujet n'est exigible). On situe le logiciel de calcul formel parmi les outils informatiques. On peut ainsi expliquer brièvement son fonctionnement (interpréteur, langage de programmation, bibliothèque). On donne quelques idées sur la spécificité du calcul formel et ses différences avec le calcul numérique. L'utilisation du logiciel peut s'envisager, soit de façon interactive, par exécution de commandes directes, soit au moyen de l'écriture de programmes enchaînant des commandes, les deux points de vues étant très liés.
.
, <, >, 
, 
, et, ou, non, vrai,
faux.
peuvent
être éventuellement récursives (récursivité
simple). La récursivité est abordée comme moyen d'expression de la
récurrence en mathématiques.