- Сигнатура (математическая логика)
-
Сигнатура в математической логике и универсальной алгебре — набор символов, специфических для конкретной системы, определяющих её формальный язык. Формально, сигнатура — набор множеств:
- — множество символов для отношений (предикатов),
- — множество функциональных символов,
- — множество символов констант
- и функции , сопоставляющей элементам и их арность.
Сигнатура характеризует алгебраическую систему (алгебру или модель), определяя из каких символов могут состоять её выражения и каким образом они могут быть сконструированы.
Для улучшения этой статьи по математике желательно?: - Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.
- Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).
Категории:- Математическая логика
- Универсальная алгебра
Wikimedia Foundation. 2010.