| Several design elements of Launcher are generated algorithmically. |
Некоторые элементы дизайна Лончера генерируются алгоритмически. |
| This mixture was then operated upon algorithmically using biochemical techniques to winnow out the 'incorrect' strands, leaving behind only those strands that 'satisfied' the problem. |
Затем эту смесь обработали алгоритмически с помощью биохимических методов, отсеивая «неправильные» нити, оставляя только те нити, которые «удовлетворяют» проблеме. |
| 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? |
| He went on to prove that there was no solution to the Entscheidungsproblem by first showing that the halting problem for Turing machines is undecidable: in general, it is not possible to decide algorithmically whether a given Turing machine will ever halt. |
Далее Тьюринг показал, что не существует решения Entscheidungsproblem, сперва доказав, что Проблема остановки для машины Тьюринга неразрешима: в общем случае невозможно алгоритмически определить, остановится ли когда-нибудь данная машина Тьюринга. |