term
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
Wikidata facts
Show 1 more fact
- described at URL
- www.bbc.co.uk/bitesize/articles/zhcyg2p
Sources (1)
via Wikidata · CC0
Connections
semantic theory of truth
Entity
ground expression
Entity
mathematical logic
Entity
lambda calculus
Entity
first-order logic
Entity
formal grammar
Entity
formal system
Entity
predicate
Entity
recursive set
Entity
rewriting
Entity
well-formed formula
Entity
semantics of logic
Entity
structure
Entity
diagram
Entity
logic
Entity
truth
Entity
International Standard Book Number
Entity
Q15777
Entity
complex number
Entity
equation
Entity