Lt304888.ru

Туристические услуги

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

12-10-2023

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

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

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


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

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

© 2020–2023 lt304888.ru, Россия, Волжский, ул. Больничная 49, +7 (8443) 85-29-01