Перевод "severalsorted predicate calculus" на русский

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

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

32 / 999

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

Перевод

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

Словарь для "severalsorted predicate calculus"

severalsorted predicate calculus существительное

мн. severalsorted predicate calculi

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

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

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