Знаймо

Додати знання

приховати рекламу

Цей текст може містити помилки.

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


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

Сигнатурою називається набір Σ = (R, F, C, ρ) складається з множин:

  • R - Безліч символів для відносин (предикатів),
  • F - Безліч функціональних символів,
  • C - Безліч символів констант
  • і функції ρ - Зіставляти елементам R і F їх арность.



Цей текст може містити помилки.

Схожі роботи | скачати

Схожі роботи:
Математична логіка
Математична логіка
Літерал (математична логіка)
Сигнатура
Сигнатура (алгебра)
Математична економіка
Математична хімія
Математична структура
Математична картографія
© Усі права захищені
написати до нас
Рейтинг@Mail.ru