数や量を表す数字または文字を計算記号で結び、数学的な意味をもたせたもの。式。

mathematical expression ; mathematical formula

数学（mathematics）

数理論理学（mathematical logic）、記号論理学（symbolic logic）、近代論理学 - 論理式（logical expression）

λ計算、ラムダ計算（lambda calculus）

情報工学（IE : information engineering） - 計算機科学、コンピュータサイエンス（computer science）

変数（variable） - 独立変数、自由変数（free variable） - 従属変数、束縛変数 （bound variables）

数学記号の表

等式（equation） - 不等式（inequality） - 恒等式（identity） - 方程式（equation、formula）

MathML（Mathematical Markup Language）

実装、インプリメント（implement）

Term

Algebraic closure

Algebraic expression

Analytic expression

Computer algebra#Expressions

Closed-form expression

Combinator

Defined and undefined

Equation

Expression (programming)

Formula

Formal grammar

Functional programming