Chefeat.ru

Здоровое питание

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

25-04-2023

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

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

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


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

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

© 2014–2023 chefeat.ru, Россия, Челябинск, ул. Речная 27, +7 (351) 365-27-13