Сигнатура (математическая логика): различия между версиями
Перейти к навигации
Перейти к поиску
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Rasim (обсуждение | вклад) м шаблон |
Tretyak (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
{{Значения|Сигнатура}} |
|||
'''Сигнатурой''' называется набор <math>\Sigma=(R,F,C,\rho)</math> состоящий из множеств: |
'''Сигнатурой''' называется набор <math>\Sigma=(R,F,C,\rho)</math> состоящий из множеств: |
||
Версия от 07:59, 1 апреля 2011
Сигнатурой называется набор состоящий из множеств:
- — множество символов для отношений (предикатов),
- — множество функциональных символов,
- — множество символов констант
- и функции — сопоставляющей элементам и их арность.
Для улучшения этой статьи по математике желательно:
|
Это заготовка статьи по математике. Помогите Википедии, дополнив её. |