Перевод "total ordering cost" на русский
Перевод
Ваш текст переведен частично.
Вы можете переводить не более 999 символов за один раз.
Войдите или зарегистрируйтесь бесплатно на PROMT.One и переводите еще больше!
Реклама
Словарь для "total ordering cost"
Контексты с "total ordering cost"
We define our theoretical algebraic structures to obey lots of axioms (like the field axioms, and total ordering) which make it possible to reason about them efficiently in the proving of theorems.
Мы говорим, что наши теоретические алгебраические структуры подчиняются множеству аксиом (например, аксиомам полей и полного упорядочивания), что позволяет успешно их обосновывать при доказательстве теорем.
The rise in the twenty-first century will be worse and should not be trivialized, but the Intergovernmental Panel on Climate Change estimates that the total cost of adaptation will be around 0.1% of GDP.
В 21-ом веке уровень моря поднимется гораздо сильнее, и это нельзя недооценивать, но по оценкам Межправительственной комиссии по климатическим изменениям общая стоимость адаптации оставит около 0.1% ВВП.
When you choose the Total cost - actual method, estimated costs must be entered manually.
При выборе метода Всего затраты - фактические оценочную стоимость необходимо ввести вручную.
The building works are due for completion in July 2000 at a total cost of 100 million koruny.
Строительные работы должны быть завершены в июле 2000 года, а их общая стоимость составит 100 млн.
Примеры употребления слов в разных контекстах предоставляются исключительно в лингвистических целях, т. е. для изучения употребления слов в одном языке и вариантов их перевода на другой. Все образцы собраны автоматически из открытых источников с помощью технологии поиска на основе двуязычных данных. Если вы обнаружили орфографическую, пунктуационную или иную ошибку в оригинале или переводе, используйте опцию "Сообщить о проблеме" или напишите нам
Отзывы наших пользователей
Реклама
PROMT Translation Factory отлично справляется с китайским. Проверено студентами Института лингвистики РГГУ
Весной 2024 года в Институте лингвистики РГГУ стартовал практический курс «Компьютерное обеспечение переводческой деятельности» для студентов специальности «Перевод и переводоведение», изучающих китай
24.10.2024