Перевод "typed lambda calculus" на русский

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

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

21 / 999

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

Перевод

Ваш текст переведен частично.
Вы можете переводить не более 999 символов за один раз.
Войдите или зарегистрируйтесь бесплатно на PROMT.One и переводите еще больше!

Словарь для "typed lambda calculus"

typed lambda calculus существительное

мн. typed lambda calculi

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

Контексты с "typed lambda calculus"

For example, a student could rent "Calculus" for the length of the semester for about $20. Например, один студент смог взять напрокат "Математический анализ" на семестр примерно за $20.

Annie, with the lighting of this candle, I welcome you into Kappa Lambda Eta. Энни, с горением этой свечи, я приветствую тебя в Каппе Ламбда Эта.

These letters can be typed by any secretary. Эти письма может напечатать любой секретарь.

"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 лет, который учится в Ковенант Колледже в Джорджии.

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

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