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

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

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

Линейный

Версия от 07:03, 17 октября 2012

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

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

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

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

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

Версия от 07:03, 17 октября 2012

Навигация

Поиск