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

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

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

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

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