Lazi

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