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

21 / 5000

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

переведено

Словарь: "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. Энни, с горением этой свечи, я приветствую тебя в Каппе Ламбда Эта.

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

Скачать мобильные приложения

Перевод текста и слов, разговорники и словарь — всегда под рукой на iOS и Android.

PROMT для бизнеса · Технологии

Решения PROMT для бизнеса

Для всех подразделений

PROMT Neural Translation Server

Перевод на серверах компании: веб-интерфейс, плагины к офисным приложениям, API для внутренних систем

для отдела переводов

PROMT Translation Factory

Рабочая среда переводчика: память переводов, глоссарии, совместная работа над проектами

для компаний со своей терминологией

PROMT Custom AI

Тюнинг нейронных моделей перевода без навыков программирования

Перевод, который говорит на языке вашей отрасли

Машинный перевод общего назначения ломает терминологию: reactor vessel становится «сосудом реактора» вместо «корпуса». PROMT обучает модели на документах компании и ведёт глоссарии, поэтому термины остаются едиными во всех переводах — от технической документации до деловой переписки.

70+языковых пар

6готовых отраслевых моделей

Атомная энергетика Нефть и газ Фармацевтика ИТ другие

Работает в вашем контуре, без передачи данных вовне

Установка в закрытом контуре

Сервер разворачивается внутри периметра компании. Документы не покидают её сеть и не уходят в облако.

Выбор модели перевода

Собственные нейронные модели PROMT или подключение внешней LLM — в зависимости от задачи и требований службы безопасности.

Масштабирование под нагрузку

Производительность наращивается добавлением узлов: от отдела до всей компании.

Интеграция через API и SDK

Перевод встраивается в СЭД, корпоративные порталы, сайты и внутренние сервисы.

Подберём конфигурацию под задачи и требования безопасности вашей компании. Оставить заявку