Signature
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
La spécification du vocabulaire non logique d'un langage formel : un ensemble de déclarations de symboles comprenant des symboles constants, des symboles de fonction avec leur arité, et des symboles de relation (prédicats) avec leur arité, qui déterminent les éléments syntaxiques disponibles pour former termes et formules atomiques.
Signature
- Pure Mathematics -
Algebra Dictionary
Définition
La signature (ou inertie) d'une forme bilinéaire symétrique ou d'une forme quadratique sur les réels est le triplet ordonné (p, n, z) donnant le nombre de valeurs propres positives, négatives et nulles d'une matrice symétrique la représentant, décrivant son motif de positivité.