Сигнатура (математическая логика): различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м шаблон
Нет описания правки
Строка 1: Строка 1:
{{Значения|Сигнатура}}
'''Сигнатурой''' называется набор <math>\Sigma=(R,F,C,\rho)</math> состоящий из множеств:
'''Сигнатурой''' называется набор <math>\Sigma=(R,F,C,\rho)</math> состоящий из множеств:



Версия от 07:59, 1 апреля 2011

Сигнатурой называется набор состоящий из множеств:

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