Nombre de Variables

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Le nombre de variables distinctes apparaissant dans une formule ou une théorie, où 'distinctes' signifie des symboles de variable syntaxiquement différents ; utilisé comme métrique simple de complexité syntaxique et d'exigence en ressources.