Если вам нравится исчисление предикатов, то можете и далее продолжать "играть" в свои "игрушечные" задачи с 30 правилами и NP-полными алгоритмами.
Олег Варламов, Мивары: 25 лет создания искусственного интеллекта
До свидания, 20 век – век исчисления предикатов, реляционных и объектно-ориентированных баз данных.
Олег Варламов, Мивары: 25 лет создания искусственного интеллекта
Для выполнения этой программы он создал совершенно новую логику, осуществив первое аксиоматическое построение пропозиционального исчисления и построив теорию квантификации и исчисление предикатов, которые образуют ядро современной математической логики.
Л. Б. Макеева, Язык, онтология и реализм, 2011
(все предложения)

ИСЧИСЛЕ́НИЕ, -я, ср. 1. Действие по знач. глаг. исчислить—исчислять; вычисление. Исчисление времени. (Малый академический словарь, МАС)

Все значения слова ИСЧИСЛЕНИЕ

ПРЕДИКА́Т, -а, м. 1. Лог. То, что в суждении высказывается о предмете суждения; логическое сказуемое. (Малый академический словарь, МАС)

Все значения слова ПРЕДИКАТ

Текст комментария:

Электронная почта:

Смотрите также

ИСЧИСЛЕ́НИЕ, -я, ср. 1. Действие по знач. глаг. исчислить—исчислять; вычисление. Исчисление времени.

ПРЕДИКА́Т, -а, м. 1. Лог. То, что в суждении высказывается о предмете суждения; логическое сказуемое.

Если вам нравится исчисление предикатов, то можете и далее продолжать "играть" в свои "игрушечные" задачи с 30 правилами и NP-полными алгоритмами.
До свидания, 20 век – век исчисления предикатов, реляционных и объектно-ориентированных баз данных.
Для выполнения этой программы он создал совершенно новую логику, осуществив первое аксиоматическое построение пропозиционального исчисления и построив теорию квантификации и исчисление предикатов, которые образуют ядро современной математической логики.
(все предложения)

Ассоциации к словосочетанию «исчисления предикатов»