Сигнатура (математическая логика): различия между версиями

Нет описания правки
м (Перемещение 4 интервики-ссылок в Викиданные (d:Q741810))
 
* <math>F</math> — множество функциональных символов,
* <math>C</math> — множество символов констант
* и функциифункция <math>\rho</math>, сопоставляющейсопоставляющая элементам <math>R</math> и <math>F</math> их [[арность]].
 
Сигнатура характеризует [[Алгебраическая система|алгебраическую систему]] ([[Алгебра (универсальная алгебра)|алгебру]] или [[Модель (теория моделей)|модель]]), определяя из каких символов могут состоять её выражения и каким образом они могут быть сконструированы.
Анонимный участник