Сигнатура в математичній логіці та універсальній алгебрі — набір символів, специфічних для конкретної системи, що визначають її формальну мову. Формально, сигнатура — набір множин:
- — множина символів для відношень (предикатів),
- — множина функціональних символів,
- — множина символів констант
- і функція , що зіставляє елементам і їх арність.
Сигнатура характеризує алгебричну структуру (алгебру або модель), визначаючи, з яких символів можуть складатися її вирази і яким чином вони можуть бути сконструйовані.
Джерела
- Универсальная алгебра. — Москва : Мир, 1968. — 351 с.(рос.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет