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

[непроверенная версия]

[отпатрулированная версия]

Содержимое удалено Содержимое добавлено

Линейный

Версия от 02:30, 4 марта 2010

Сигнатурой называется набор $\Sigma =(R,F,C,\rho )$ состоящий из множеств:

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