Сигнатура в математической логике и универсальной алгебре — набор символов, специфических для конкретной системы и определяющих её формальный язык. Формально, сигнатура — это набор множеств, в котором:
- — множество символов для отношений (предикатов),
- — множество функциональных символов,
- — множество символов констант
- Функция , сопоставляющая элементам и их арность.
Сигнатура характеризует алгебраическую систему (алгебру или (модель)), определяя из каких символов могут состоять её выражения и каким образом они могут быть сконструированы.
Для улучшения этой статьи по математике :
|
Википедия, чтение, книга, библиотека, поиск, нажмите, истории, книги, статьи, wikipedia, учить, информация, история, скачать, скачать бесплатно, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, картинка, музыка, песня, фильм, игра, игры, мобильный, телефон, Android, iOS, apple, мобильный телефон, Samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Сеть, компьютер