Перевод «several-sorted predicate calculus» на русский

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

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

33 / 5000

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

Перевод

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

Словарь: "several-sorted predicate calculus" - переводы и примеры

several-sorted predicate calculus существительное

мн. several-sorted predicate calculi

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

Примеры предложений со словом "several-sorted predicate calculus"

In the travaux préparatoires it should be stated that subparagraph (e) takes into account legal principles of several States where prosecution or punishment of the same person for both the predicate offence and the money-laundering offence is not permitted. В подготовительных материалах следует указать, что подпункт (е) учитывает правовые принципы ряда государств, в которых уголовное преследование или наказание одного и того же лица и за совершение основного правонарушения, и за совершение преступления отмывания денежных средств не допускаются.

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

Study the predicate. Мы занимаемся предикатами.

Several thousand people were deprived of transportation by the accident. Из-за аварии несколько тысяч людей были лишены транспортного сообщения.

All open positions can be sorted by any field. Все открытые позиции располагаются в порядке сортировки, их можно сортировать по любому полю.

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