Several design elements of Launcher are generated algorithmically. |
Некоторые элементы дизайна Лончера генерируются алгоритмически. |
Alfred Tarski's method of quantifier elimination (1948) showed the existential theory of the reals (and more generally the first order theory of the reals) to be algorithmically solvable, but without an elementary bound on its complexity. |
Метод Альфреда Тарского исключения кванторов (1948) показывает, что экзистенциальная теория вещественных чисел (и, более обще, теория первого порядка вещественных чисел) алгоритмически разрешимы, но без элементарных границ на сложность. |
In turn, imposing restrictions on the available resources is what distinguishes computational complexity from computability theory: the latter theory asks what kind of problems can, in principle, be solved algorithmically. |
Сильное ограничение доступных ресурсов отличает теорию вычислительной сложности от вычислительной теории, последняя отвечает на вопрос какие задачи, в принципе, могут быть решены алгоритмически. |
The news of the protests was all over my algorithmically unfiltered Twitter feed, but nowhere on my Facebook. Was it my Facebook friends? |
Новости о протестах заполонили мой алгоритмически нефильтрованный Twitter, но в моём Facebook их не было. Может, это из-за моих друзей в Facebook? |
(Though it is not considered obligatory that in an application the partial transformers were algorithmically always ordered just in the sequence they stay in the model. |
(Хотя при этом не считается обязательным, чтобы в прикладной системе парциальные преобразователи алгоритмически всегда воплощались строго в той же последовательности, в которой они стоят в модели. |