Сигнатура (математическая логика): различия между версиями
Перейти к навигации
Перейти к поиску
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
U-bot (обсуждение | вклад) + {{изолированная статья}} с помощью AWB |
VolkovBot (обсуждение | вклад) м робот добавил: de:Signatur (Modelltheorie), fr:Signature (algèbre), pt:Assinatura (lógica) |
||
Строка 9: | Строка 9: | ||
{{math-stub}} |
{{math-stub}} |
||
[[Категория:Математическая логика]] |
[[Категория:Математическая логика]] |
||
⚫ | |||
{{изолированная статья}} |
{{изолированная статья}} |
||
[[de:Signatur (Modelltheorie)]] |
|||
⚫ | |||
[[fr:Signature (algèbre)]] |
|||
[[pt:Assinatura (lógica)]] |
Версия от 17:29, 8 июня 2009
Сигнатурой называется набор состоящий из множеств:
- - множество символов для отношений (предикатов),
- - множество функциональных символов,
- - множество символов констант
- и функции - сопоставляющей элементам и их арность.
Для улучшения этой статьи желательно:
|
Это заготовка статьи по математике. Помогите Википедии, дополнив её. |
На эту статью не ссылаются другие статьи Википедии. |