| 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) показывает, что экзистенциальная теория вещественных чисел (и, более обще, теория первого порядка вещественных чисел) алгоритмически разрешимы, но без элементарных границ на сложность. |
| Algorithmically, these numbers may be assigned by performing a depth-first search and assigning each node's number in postorder. |
Алгоритмически эти числа можно назначить путём осуществления поиска в глубину и назначения каждому узлу числа Стралера в обратном порядке. |
| The song's popularity has been attributed to the Elsagate phenomenon of potentially disturbing or absurd YouTube videos being algorithmically shown to children through the YouTube website and the YouTube Kids app. |
Популярность песни объясняется феноменом Эльзагата, который может привести видео на YouTube к потенциальному беспорядку или абсурду, если алгоритмически показывать их детям через сайт YouTube и через приложение YouTube Kids. |
| Some functions may be algorithmically linear. |
Но удовлетворение некоторых условий может являться алгоритмически неразрешимым. |