БОЛЬШАЯ СОВЕТСКАЯ ЭНЦИКЛОПЕДИЯ, БСЭ БОЛЬШАЯ СОВЕТСКАЯ ЭНЦИКЛОПЕДИЯ, БСЭ
Навигация:

Библиотека DJVU
Photogallery

БСЭ

Статистика:


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

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


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

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

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


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


Интересное