→ Пошук по сайту       Увійти / Зареєструватися

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

Предметна область:  Штучний інтелект

Исчисление, в котором наряду с формулами исчисления высказываний используются формулы в которые могут входить отношения (предикаты), связывающие между собой группы элементов исчисления и кванторы общности и существования.

Похідні поняття[Приховати / показати]

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ПЕРВОГО ПОРЯДКА — Исчисление предикатов, в котором под знаком квантора не могут находиться символы предикатов.

Зв'язані поняття[Приховати / показати]

ИСЧИСЛЕНИЕ
→ИСЧИСЛЕНИЕ ПРЕДИКАТОВ→
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ПЕРВОГО ПОРЯДКАИСЧИСЛЕНИЕ СИТУАЦИОННОЕ
→ Мапа поняття — Більше інформації про зв'язки цього поняття з іншими поняттями

Близькі поняття: [Приховати / показати]

Контент, у якому йде мова про ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

Якщо вас цікавить...

Штучний інтелект
загрузка...