Skip to content
EntityQ1318370· pop 24· linked from 381 articles

Also known as term in math, term in logic, term in universal algebra, term in rewriting systems, output value of a sequence

mathematical expression that may form a separable part of an equation, a series, or another expression; used in in mathematical logic, universal algebra, and rewriting systems

Wikidata facts

Show 1 more fact
Sources (1)

via Wikidata · CC0

Article · Français

Un terme est une expression de base du calcul des prédicats, de l'algèbre, notamment de l'algèbre universelle, et du calcul formel, des systèmes de réécriture et de l'unification. C'est l'objet produit par une analyse syntaxique. Sa principale caractéristique est d'être homogène (il n'y a que des opérations de base et pas d'opérations logiques) et de décrire l'agencement des opérations de base. Un terme est parfois appelé une formule du premier ordre. Par exemple, (x + f(x,y)) * 3 et *(+(x,f(x,y)),3) et *+xfxy3 et la figure à droite représentent le même terme sous quatre formes externes différentes.

Abstract from DBpedia / Wikipedia · CC BY-SA