| Euclid postulated that light travelled in straight lines and described the laws of reflection and studied them mathematically. |
Евклид утверждал, что свет распространяется по прямой линии, он изучал законы отражения света и описал их математически. |
| They're mathematically crisp and very, very good. |
Они математически выверены и очень хороши. |
| Digital terrain models, in which a mathematically defined surface is determined as the best fit to the measured data, are used increasingly. |
Все шире используются цифровые модели ландшафта, в которых математически определяемая структура поверхности выстраивается как наиболее подходящая к измеренным данным. |
| The Department's Division of Regional Operations and Field Support estimates that the implementation rate of MOSS is 80 per cent; however, this is a heuristic rather than a mathematically rigorous figure, based mainly on self-assessment by officials in countries. |
По оценкам Отдела региональных операций и полевой поддержки Департамента, показатель соблюдения МОСБ составляет 80 процентов, однако это скорее эвристическая, чем математически точная цифра, основанная главным образом на самостоятельной оценке сотрудников в странах. |
| The uses of the information obtained from the analysis vary from highlighting possible coding errors (e.g., the lint tool) to formal methods that mathematically prove properties about a given program (e.g., its behaviour matches that of its specification). |
Способы использования полученной в ходе анализа информации также различны - от выявления мест, возможно содержащих ошибки (утилиты типа Lint), до формальных методов, позволяющих математически доказать какие-либо свойства программы (например, соответствие поведения спецификации). |