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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
У этого термина существуют и другие значения, см. Сигнатура.

Сигнатурой называется набор \Sigma=(R,F,C,\rho) состоящий из множеств:

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


Wiki letter w.svg
 Для улучшения этой статьи по математике желательно?:
Формула Это заготовка статьи по математике. Вы можете помочь проекту, исправив и дополнив её.
Источник — «http://ru.wikipedia.org/w/index.php?title=%D0%A1%D0%B8%D0%B3%D0%BD%D0%B0%D1%82%D1%83%D1%80%D0%B0_(%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0)&oldid=33260685»
Личные инструменты
Пространства имён

Варианты
Действия
Навигация
Участие
Печать/экспорт
Инструменты
На других языках