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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

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