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

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

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

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


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

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

© 2021–2023 sud-mal.ru, Россия, Барнаул, ул. Денисова 68, +7 (3852) 74-95-52