Сигнатура в математической логике и универсальной алгебре — набор символов, специфических для конкретной системы, определяющих её формальный язык. Формально, сигнатура — набор множеств:
Сигнатура характеризует алгебраическую систему (алгебру или модель), определяя из каких символов могут состоять её выражения и каким образом они могут быть сконструированы.
Для улучшения этой статьи по математике желательно: |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .