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 · Polski

Term (formuła nazwowa) – wyrażenie składające się ze zmiennych oraz symboli funkcyjnych o dowolnej argumentowości (w tym o argumentowości 0, czyli stałych) z pewnego ustalonego zbioru. W wielu dziedzinach matematyki używa się określenia term na oznaczenie napisów (wyrażeń) formalnych, które mogą być traktowane jako nazwy na obiekty matematyczne. W większości przypadków znaczenie to można przedstawić jako termy w pewnym języku pierwszego rzędu, opisane poniżej.

Abstract from DBpedia / Wikipedia · CC BY-SA