Перевод «типизированное лямбда-исчисление» на английский

Выберите исходный язык

Исходный текст

32 / 5000

Выберите язык перевода

Перевод

Ваш текст переведен частично.
Вы можете переводить не более 5000 символов за один раз.

Словарь: "типизированное лямбда-исчисление" - переводы и примеры

типизированное лямбда-исчисление ср.р. существительное Склонение

мн. типизированные лямбда-исчисления

typed lambda 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.

Я спёр её из дома Лямбда Сиг. I stole it from the Lamda Sig house.

И в связи с этим следует отметить, что опирающееся на ориентиры поведение вполне может предполагать другое исчисление соотношения выгод и потерь между ростом и другими экономическими проблемами, такими как ухудшение состояния окружающей среды, по сравнению с тем, что предлагают обычные модели роста. 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.

Нейтрино, положительный пион, отрицательный пион, каон, лямбда, дельта. The neutrino, the positive pion, the negative pion, the kaon, the lambda, the delta.

Однако, в реальном исчисление годовые темпы роста частного потребления в Китае составляли около 10% в течение последних семи лет. Indeed, private consumption in China has been growing in real terms at an annual rate of around 10% for the last seven years.

Примеры употребления слов в разных контекстах предоставляются исключительно в лингвистических целях, т. е. для изучения употребления слов в одном языке и вариантов их перевода на другой. Все образцы собраны автоматически из открытых источников с помощью технологии поиска на основе двуязычных данных. Если вы обнаружили орфографическую, пунктуационную или иную ошибку в оригинале или переводе, используйте опцию "Сообщить о проблеме" или напишите нам