Большая Советская Энциклопедия (цитаты)

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

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


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 18.08.2022 07:28:24