Terminologie
MATHS
INFORMATIQUE
variable
paramètre formel
paramètre
paramètre libre
argument
paramètre effectif
fonction
fonction partiellement définie
application
fonction
calculer f(exp)
appliquer f à exp
f(exp)
f exp
On
doit
distinguer l'expression
f
(
exp
) de la valeur qu'elle prend dans un environnement. On appelle
application
une expression de la forme
E
1
E
2
.