Сигнатура (математическая логика)

12-09-2023

У этого термина существуют и другие значения, см. Сигнатура.

Сигнатурой называется набор состоящий из множеств:

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


Это заготовка статьи по математике. Вы можете помочь проекту, исправив и дополнив её.

Сигнатура (математическая логика).

© 2011–2023 stamp-i-k.ru, Россия, Барнаул, ул. Анатолия 32, +7 (3852) 15-49-47