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

уточнение
м (пунктуация, оформление)
(уточнение)
{{Значения|Сигнатура}}
'''Сигнатура''' в [[Математическая логика|математической логике]] и [[Универсальная алгебра|универсальной алгебре]] — набор символов, специфических для конкретной системы, определяющих её [[формальный язык]]. Формально, сигнатура <math>\Sigma=(R,F,C,\rho)</math> — набор множеств:
'''Сигнатурой''' называется набор <math>\Sigma=(R,F,C,\rho)</math>, состоящий из множеств:
 
* <math>R</math> — множество символов для отношений (предикатов),
* и функции <math>\rho</math>, сопоставляющей элементам <math>R</math> и <math>F</math> их [[арность]].
 
Сигнатура характеризует [[Алгебраическая система|алгебраическую систему]] ([[Алгебра (универсальная алгебра)|алгебру]] или [[Модель (теория моделей)|модель]]), определяя из каких символов могут состоять её выражения и каким образом они могут быть сконструированы.
{{rq|wikify|sources|stub|topic=math}}
 
{{math-stub}}
{{rq|wikify|sources|stubempty|topic=math}}
 
[[Категория:Математическая логика]]
[[Категория:Универсальная алгебра]]
 
[[de:Signatur (Modelltheorie)]]