Исчисление предикатов

Определение "Исчисление предикатов" в Большой Советской Энциклопедии


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



"БСЭ" >> "И" >> "ИС" >> "ИСЧ"

Статья про "Исчисление предикатов" в Большой Советской Энциклопедии была прочитана 26 раз
Английское куриное карри
Английское куриное карри

TOP 20