СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ | История поисков |
Базовый поиск | Расширенный поиск | Cловари | ГРНТИ | Новые поступления |
---|
Справка
ВЫРАШАЛЬНЫЯ ТЭОРЫІ |
Тэорыі, для якіх існуюць эфектыўныя працэдуры (алгарытмы), якія дазваляюць аб кожным сцвярджэнні, сфармуляваным у тэрмінах гэтай тэорыі, рашыць, выводзіцца яно ў тэорыі ці не.
ЭКВІВАЛЕНТ НА ІНШАЙ МОВЕ РАЗРЕШИМЫЕ ТЕОРИИ |
КРЫНІЦЫ IНФАРМАЦЫІ
Словарь по логике / А. А. Ивин, А. Л. Никифоров. — Москва, 1998.
Чтобы вернуться назад, щелкните кнопку BACK на Вашем браузере
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024 © Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси |