Lazi

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.