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