БНБ
"БСЭ" (95279)
- Photogallery
- Естественные науки - Математика - Технология
- Авиация и машиностроение
- Высокие технологии
- Вычислительная техника
- Нанотехнология
- Роботехника
- Энергетика
- Электроника
Исчисление предикатов
Определение "Исчисление предикатов" в Большой Советской Энциклопедии
Исчисление предикатов, раздел математической логики — совокупность логико-математических исчислений, формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами. См. Высказывание, Логика предикатов.
| "БСЭ" >> "И" >> "ИС" >> "ИСЧ" |
Статья про "Исчисление предикатов" в Большой Советской Энциклопедии была прочитана 570 раз
| Кетчуп из бананов |
| Куриный суп |
TOP 20
- Лемке Михаил Константинович
- Сульфгидрильные группы
- «Казарменный коммунизм»
- Глициния
- Периодическая система элементов
- Башкирская Автономная Советская Социалистическая Республика
- Иммунитет (историч.)
- Японское море
- Андаманское море
- Сенсуализм
- «Сообразительный»
- Звёздная астрономия
- Ямполь (пос. гор. типа в Донецкой обл.)
- Навигация (морск.)
- Кульчицкая Елена Львовна
- Балкано-кавказская раса
- Мандельштама - Бриллюэна рассеяние
- Театральные учебные заведения
- Электрическая постоянная
- Энсор Джеймс