без примеровНайдено в 1 словаре
Вычислительная техника и программирование- Настоящее издание существенно дополнено терминами из области проектирования и моделирования логических устройств, систем представления знаний, компьютеризации производства, систем искусственного интеллекта, вычислительных сетей, цифровой обработки сигналов, параллельных и конвейерных вычислений, системного анализа, интернет-технологий.
- Настоящее издание существенно дополнено терминами из области проектирования и моделирования логических устройств, систем представления знаний, компьютеризации производства, систем искусственного интеллекта, вычислительных сетей, цифровой обработки сигналов, параллельных и конвейерных вычислений, системного анализа, интернет-технологий.
solvable predicate
разрешимый предикат
Примеры из текстов
Algorithmically solvable predicates are also called recursive predicates.Алгорифмически разрешимые предикаты называются также рекурсивными предикатами.Sanin, A. / Constructive real numbers and constructive function spacesШанин, А. / КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВАКОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВАШанин, А.Constructive real numbers and constructive function spacesSanin, A.© 1968 by the American Mathematical Society
Добавить в мой словарь
solvable predicate
разрешимый предикат
Переводы пользователей
Пока нет переводов этого текста.
Будьте первым, кто переведёт его!