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

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

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

Линейный

Версия от 09:21, 10 июня 2013

Сигнатура в математической логике и универсальной алгебре — набор символов, специфических для конкретной системы, определяющих её формальный язык. Формально, сигнатура $\Sigma =(R,F,C,\rho )$ — набор множеств:

$R$ — множество символов для отношений (предикатов),
$F$ — множество функциональных символов,
$C$ — множество символов констант
и функция $\rho$ , сопоставляющая элементам $R$ и $F$ их арность.

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

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

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

Версия от 09:21, 10 июня 2013

Навигация

Поиск