Translation of "типизированное лямбда-исчисление" to English

Select source language

Source text

32 / 999

Select target language

Translation results

Your text has been partially translated.
You can translate a maximum of 999 characters at a time.
Login or register for free on PROMT.One and translate even more!

Advert

Dictionary translations for "типизированное лямбда-исчисление"

типизированное лямбда-исчисление n noun Declension

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

typed lambda calculus

Contexts with "типизированное лямбда-исчисление"

Позиция лидера 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.

Examples of word usage in different contexts are provided solely for linguistic purposes, i.e. to study word usage in a sentence in one language and how they can be translated into another. All samples are automatically collected from a variety of publicly available open sources using bilingual search technologies.
If you find a spelling, punctuation or any other error in the original or translation, use the "Report a problem" option or write to us.