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

* <math>F</math> — множество функциональных символов,

* <math>C</math> — множество символов констант

 

Сигнатура характеризует [[Алгебраическая система|алгебраическую систему]] ([[Алгебра (универсальная алгебра)|алгебру]] или [[Модель (теория моделей)|модель]]), определяя из каких символов могут состоять её выражения и каким образом они могут быть сконструированы.