Сигнатура в математической логике и универсальной алгебре — набор символов, специфических для конкретной системы и определяющих её формальный язык. Формально, сигнатура — это набор множеств, в котором:
- — множество символов для отношений (предикатов),
- — множество функциональных символов,
- — множество символов констант
- Функция , сопоставляющая элементам и их арность.
Сигнатура характеризует алгебраическую систему (алгебру или модель), определяя из каких символов могут состоять её выражения и каким образом они могут быть сконструированы.
Для улучшения этой статьи по математике желательно:
|
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.