Перегляд вихідного коду сторінки Сигнатура (математична логіка)

'''Сигнатура''' в [[Математична логіка|математичній логіці]] та [[Універсальна алгебра|універсальній алгебрі]] — набір символів, специфічних для конкретної системи, що визначають її [[Формальна мова|формальну мову]]. Формально, сигнатура <math>\Sigma=(R,F,C,\rho)</math> — набір множин:

* <math>R</math> — множина символів для відношень (предикатів),
* <math>F</math> — множина функціональних символів,
* <math>C</math> — множина символів констант
* і функція <math>\rho</math>, що зіставляє елементам <math>R</math> і <math>F</math> їх [[арність]].

Сигнатура характеризує [[Алгебрична структура|алгебричну структуру]] ([[Універсальна алгебра|алгебру]] або [[Теорія моделей|модель]]), визначаючи, з яких символів можуть складатися її вирази і яким чином вони можуть бути сконструйовані.

== Джерела ==
* {{Кон.Универсальная алгебра}}

{{Математична логіка|state=collapsed}}

[[Категорія:Універсальна алгебра]]
[[Категорія:Математична логіка]]