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

м
шаблон
(более не распознаётся как изолированная статья, Replaced: {{изолированная статья}})
м (шаблон)
'''Сигнатурой''' называется набор <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> их [[арность]].
 
{{rq|wikify|sources|stub|topic=math}}
{{math-stub}}
 
[[Категория:Математическая логика]]
 
[[de:Signatur (Modelltheorie)]]
[[en:Signature (logic)]]