Exemplos de uso de "typed lambda calculus" em inglês
For example, a student could rent "Calculus" for the length of the semester for about $20.
Например, один студент смог взять напрокат "Математический анализ" на семестр примерно за $20.
The neutrino, the positive pion, the negative pion, the kaon, the lambda, the delta.
Нейтрино, положительный пион, отрицательный пион, каон, лямбда, дельта.
"My calculus book that usually costs $180, I got for the semester for $10 and a Chick-fil-A biscuit," says Schroeder, 19, who attends Covenant College in Georgia.
"Мой учебник по математическому анализу, который обычно стоит $180, я получил на семестр за $10 и печенье "Chick-fil-A"", говорит Шрёдер, 19 лет, который учится в Ковенант Колледже в Джорджии.
Annie, with the lighting of this candle, I welcome you into Kappa Lambda Eta.
Энни, с горением этой свечи, я приветствую тебя в Каппе Ламбда Эта.
check that you typed the web page address correctly
Удостоверьтесь, что Вы набрали адрес страницы правильно
"Calculus" is selling for $93.49 used on Chegg.com.
"Математический анализ" продается за $93,49 в подержанном виде на Chegg.com.
The air to fuel measurement equipment used to determine the exhaust gas flow as specified in paragraph 4.2.5. of Appendix 2 to this annex shall be a wide range air to fuel ratio sensor or lambda sensor of Zirconia type.
Аппаратура для измерения отношения воздуха к топливу, которая используется для определения расхода отработавших газов в соответствии с указаниями, содержащимися в пункте 4.2.5 добавления 2 к настоящему приложению, представляет собой широкополосный датчик состава смеси или кислородный датчик циркониевого типа.
The ninth edition of "Calculus" by Ron Larson, Bruce Edwards, and Robert Hostetler carries a list price of nearly $290 but can be purchased new for $239.99 at specialty textbook retailer Chegg.com.
Девятое издание "Математического анализа" Рона Ларсона, Брюса Эдвардса и Роберта Хостетлера стоит около $290 по прейскуранту, но новый экземпляр можно приобрести за $239,99 на сайте Chegg.com, который специализируется на продаже учебников.
On the action taken in favour of groups discriminated on the basis of sexual orientation, a part of the research commissioned in 2007, as mentioned in the presentation, Poland used budget funds and EU funds to finance activities informing about diversity and collaborated with groups representing rights of sexual minorities, such as “Campaign Against Homophobia” and “Lambda”.
В отношении мер, принимаемых в интересах групп, подвергающихся дискриминации по признаку сексуальной ориентации,- этим аспектам было, в частности, посвящено упомянутое в выступлении исследование, запрошенное в 2007 году,- Польша использует бюджетные средства и средства ЕС для финансирования деятельности по информированию населения о культурном многообразии и для сотрудничества с такими группами, отстаивающими права сексуальных меньшинств, как " Кампания против гомофобии " и " Ламбда ".
Please make sure you typed the correct address of the server.
Пожалуйста, проверьте правильность введенного вами адреса сервера.
But it’s not an easy calculus and it’s worth noting that the entire electoral campaign that year, even by East European standards, involved a lot of really ugly and dirty tricks and corruption on a scale that is hard to contemplate.
Но строить такого рода расчеты сложно, и к тому же стоит отметить, что в том году в ходе избирательной кампании даже по меркам Восточной Европы было много отвратительных и грязных уловок, а коррупция достигла таких масштабов, что это даже трудно себе представить.
In document INF.4 the representative of Belgium disagreed with the transfer of the values of the lambda coefficient from 6.8.2.1.17 to 6.8.2.1.23.
В своем документе INF.4 представитель Бельгии поставил под сомнение целесообразность переноса значений коэффициента " лямбда " из пункта 6.8.2.1.17 в пункт 6.8.2.1.23.
FXDD will reasonably attempt to execute all Orders that it may, in its sole discretion, accept from Customer for the purchase or sale of Contracts in accordance with the Customer's electronic, written or typed, or oral instructions.
Компания FXDD со своей стороны постарается приложить максимум усилий для выполнения ордеров на покупку или продажу, поступающих от Клиента по электронной почте, в письменном или напечатанном виде или в виде устных инструкций.
But even if Nemtsov’s formulation was accurate (and as anyone who’s taken even an introductory course on Soviet history would know it’s not) it reflects a truly bizarre moral calculus and an inexplicable fixation on corruption to the exclusion of everything else.
Но даже если формулировка Немцова точна (а любой, прочитавший хотя бы введение к советской истории, знает, что это не так), то она отражает поистине странный нравственный расчет и необъяснимую зацикленность на моральном разложении в ущерб всему остальному.
Indeed when you look at places like Singapore and Hong Kong, which sit atop virtually every comparative index of “economic liberty” and competitiveness, you could almost reverse Douthat’s original calculus: the citizens of these countries are not refraining from raising children because they are lazy and focused on personal comfort but because they are positively obsessed with getting degrees working, and squirreling away money for the future.
В действительности, если посмотреть на такие места, как Сингапур и Гонконг, возглавляющие едва ли не все сравнительные рейтинги «экономической свободы» и конкурентности, теорию Даузета придется перевернуть: жители этих стран не заводят детей не потому, что они ленивы и заботятся только о личном комфорте, а потому, что они буквально одержимы образованием, работой и накоплением средств на будущее.
Note: Make sure that the SSID and your password are typed correctly when you configure the Zune player for wireless sync in the Zune software.
Примечание. Проверьте правильность ввода имени сети SSID и пароля при настройке проигрывателя Zune для беспроводной синхронизации в программе Zune.
Os exemplos de uso de palavras em diferentes contextos são dados só para fins linguísticos, ou seja, para estudar o uso de palavras numa língua e as suas traduções para outra. Todos os exemplos são colecionados automaticamente em fontes abertas usando tecnologia de pesquisa de dados bilíngues. Se você encontrar algum erro de ortografia, pontuação ou outro erro no texto original ou na tradução, use a opção "Reportar um erro" ou escreva para nós.
Nesta seção, você pode ver como palavras e expressões são usadas em diferentes contextos usando exemplos de traduções feitas por profissionais. A seção Contextos o ajudará a aprender inglês, alemão, espanhol e outros idiomas. Aqui você pode encontrar exemplos com verbos frasais e idiomas em textos que variam em estilo e tema. Exemplos podem ser classificados por traduções e tópicos.
Aprenda línguas estrangeiras, veja a tradução de milhões de palavras e expressões e use-as em sua comunicação por e-mail.
Anuncie