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

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

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

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

Англо-датская война 1807-14 | Буква "И" | В начало | Буквосочетание "ИС" | Итабира

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

Интересное

Florists in america

business support in USA