Перевод "исчисление предикатов" на английский
Перевод
Ваш текст переведен частично.
Вы можете переводить не более 999 символов за один раз.
Войдите или зарегистрируйтесь бесплатно на PROMT.One и переводите еще больше!
Реклама
Словарь для "исчисление предикатов"
Словосочетания с "исчисление предикатов" (2)
- исчисление предикатов с несколькими сортами переменных - several-sorted predicate calculus
- узкое исчисление предикатов - restricted predicate calculus
Контексты с "исчисление предикатов"
Позиция лидера Alibaba в своей отрасли в течение такого большого промежутка времени говорит об огромной базе информации для анализа, что подразумевает исчисление максимально точных данных.
As Alibaba has been leading these industries for over a decade, it is able to analyse huge amounts of data to generate an accurate credit rating score.
Используется по умолчанию, если вы не указываете ни один из предикатов.
Assumed if you do not include one of the predicates.
И в связи с этим следует отметить, что опирающееся на ориентиры поведение вполне может предполагать другое исчисление соотношения выгод и потерь между ростом и другими экономическими проблемами, такими как ухудшение состояния окружающей среды, по сравнению с тем, что предлагают обычные модели роста.
And, on a related note, benchmarking behavior may well imply a different calculus of the tradeoffs between growth and other economic challenges, such as environmental degradation, than conventional growth models suggest.
Однако, в реальном исчисление годовые темпы роста частного потребления в Китае составляли около 10% в течение последних семи лет.
Indeed, private consumption in China has been growing in real terms at an annual rate of around 10% for the last seven years.
Примеры употребления слов в разных контекстах предоставляются исключительно в лингвистических целях, т. е. для изучения употребления слов в одном языке и вариантов их перевода на другой. Все образцы собраны автоматически из открытых источников с помощью технологии поиска на основе двуязычных данных. Если вы обнаружили орфографическую, пунктуационную или иную ошибку в оригинале или переводе, используйте опцию "Сообщить о проблеме" или напишите нам
Отзывы наших пользователей
Реклама
PROMT Translation Factory отлично справляется с китайским. Проверено студентами Института лингвистики РГГУ
Весной 2024 года в Институте лингвистики РГГУ стартовал практический курс «Компьютерное обеспечение переводческой деятельности» для студентов специальности «Перевод и переводоведение», изучающих китай
24.10.2024