Beermood38.ru

Пивное настроение

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

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

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

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


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

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

© 2011–2023 beermood38.ru, Россия, Кострома, ул. Клубная 35, +7 (4942) 24-57-66