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

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

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

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

Для улучшения этой статьи по математике желательно: Найти и оформить в виде сносок ссылки на независимые авторитетные источники, подтверждающие написанное. Дополнить статью (статья слишком короткая либо содержит лишь словарное определение). После исправления проблемы исключите её из списка. Удалите шаблон, если устранены все недостатки.