❕数式
数式.icon
数学（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）
TeX
数式表記
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