langage de calcul
Contexte
Tout comme on regroupe pour les preuves un ensemble de règles de déduction, que l'on appelle alors une mathématique, on regroupe les règles de calcul élémentaire en un ensemble appelé "langage de calcul".
Définition
Un langage de calcul est un ensemble de règles de calcul élémentaire.