Сигнатура (математическая логика)

Шаблон:Значения Сигнату́ра в математической логике и универсальной алгебре — набор символов, специфических для конкретной системы и определяющих её формальный язык. Формально, сигнатура $\mathrm{\Sigma }=(R,F,C,\rho )$ — это набор множеств, в котором:

• $R$ — множество символов для отношений (предикатов),
• $F$ — множество функциональных символов,
• $C$ — множество символов констант,
• Функция $\rho$, сопоставляющая элементам $R$ и $F$ их арность.

Сигнатура характеризует алгебраическую систему (алгебру или модель), определяя из каких символов могут состоять её выражения и каким образом они могут быть сконструированы.