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

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

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

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