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

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

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


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

Новости 22.12.2024 17:09:48

     Copyright © 1999-2024 Oval.ru, All Rights Reserved.