Перевод "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.

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

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

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

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