calcul élémentaire
Contexte
Le calcul élémentaire est à la régle de calcul élémentaire ce que la déduction est à la règle de déduction : les données correspondant à la règle.
Définition
Un calcul élémentaire d'un certain langage de calcul est consittué :
- de l'identifiant de la règle du langage de calcul
- l'ensemble des données (sans la formule à calculer) correspondant à la règle de calcul