Translation of "several-sorted predicate calculus" to Russian

Select source language

Source text

33 / 5000

Select target language

Translation results

Your text has been partially translated.
You can translate a maximum of 5000 characters at a time.

Advert

Dictionary translations for "several-sorted predicate calculus"

several-sorted predicate calculus noun

pl. several-sorted predicate calculi

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

Contexts with "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. Все открытые позиции располагаются в порядке сортировки, их можно сортировать по любому полю.

Examples of word usage in different contexts are provided solely for linguistic purposes, i.e. to study word usage in a sentence in one language and how they can be translated into another. All samples are automatically collected from a variety of publicly available open sources using bilingual search technologies.
If you find a spelling, punctuation or any other error in the original or translation, use the "Report a problem" option or write to us.