| 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) показывает, что экзистенциальная теория вещественных чисел (и, более обще, теория первого порядка вещественных чисел) алгоритмически разрешимы, но без элементарных границ на сложность. |
| 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? |
| The second one was written by an algorithm that took all the language from my Facebook feed on one day and then regenerated it algorithmically, according to methods that I'll describe a little bit later on. |
Очень смело, потому что первое стихотворение было написано поэтом Вильямом Блейком. Второе было написано при помощи алгоритма, который запомнил все записи из моей ленты Facebook за один день и затем восстановил их алгоритмически в соответствии с методами, которые я опишу немного позже. |
| Some functions may be algorithmically linear. |
Но удовлетворение некоторых условий может являться алгоритмически неразрешимым. |