Русская Википедия:Сигнатура (математическая логика)

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

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

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

Шаблон:Rq