Traducción de "severalsorted predicate calculus" al ruso

Selecciona el idioma de origen

Texto de partida

32 / 999

Selecciona el idioma de destino

Traducción

Tu texto ha sido traducido parcialmente.
Puedes traducir no más de 999 caracteres a la vez.
Inicia sesión o regístrate gratis en PROMT.One y traduce aún más!

Traducciones del diccionario para "severalsorted predicate calculus"

severalsorted predicate calculus sustantivo

pl. severalsorted predicate calculi

исчисление предикатов с несколькими сортами переменных ср.р.

Contextos con "severalsorted predicate calculus"

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

The psychological act was the predicate for the diplomatic one. Психологические действия должны стать основанием для действий дипломатических.

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

But he had already established the predicate that people and nations could transform their destinies if they chose. Но он уже высказал предположение о том, что народы и страны при наличии желания в состоянии преобразовать свою судьбу.

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

Los ejemplos del uso de palabras en diferentes contextos se proporcionan únicamente con fines lingüísticos, es decir, para estudiar el uso de palabras en un idioma y sus opciones de traducción a otro. Están recopilados automáticamente de fuentes abiertas utilizando tecnología de búsqueda basada en datos bilingües. Si encuentras un error ortográfico o de puntuación en el original o en la traducción, utiliza la opción "Informar de un problema" o escríbenos.

Bot de traducción

Traduce en Telegram

Pruebe gratis

PROMT Master NMT

Traduce documentos

DESCARGAR