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