terme
Sign in to saveAlso 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
In the Vinony graph
Within Vinony's link graph, terme is referenced by 381 other articles, and connects out to semantic theory of truth, ground expression and mathematical logic.
It sits within the topics Mathematical logic and Rewriting systems.
Its subject is documented across 24 Wikipedia language editions.
Wikidata facts
- Subclass of
- mathematical expression
- Part of
- number sequence
- Has part
- mathematical operation
Show 1 more fact
- described at URL
- www.bbc.co.uk/bitesize/articles/zhcyg2p
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