Квантифицирует - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
Часть 3 квантифицирует и кодирует каждый образец, известный как распределение шума, которое настраивается для удовлетворения требований к скорости передачи битов и маскировке звука. |
Part 3 quantifies and encodes each sample, known as noise allocation, which adjusts itself in order to meet the bit rate and sound masking requirements. |
Логика первого порядка это философская система рассуждений использующая утверждения типа если/то как квантификаторы или сказуемое |
First order logic is a philosophical system of reasoning using if/then statements as quantifiers or predicates. |
На самом деле вся квантифицированная модальная логика необходимости зависит от контекста и пуста в противном случае; ибо она разрушается, если сущность изъята. |
In fact, the whole quantified modal logic of necessity is dependent on context and empty otherwise; for it collapses if essence is withdrawn. |
Она имеет дело с арифметикой Хейтинга, где областью квантификации являются натуральные числа, а примитивные предложения имеют вид x=Y. |
It deals with Heyting arithmetic, where the domain of quantification is the natural numbers and the primitive propositions are of the form x=y. |
Я заметил, что существующая связь идет к экзистенциальной квантификации, но мне интересно, будет ли существование лучшей связью? |
I noticed that the Exists link goes to Existential quantification, but I wonder if Existence would be a better link? |
В то время как пропозициональная логика имеет дело с простыми декларативными пропозициями, логика первого порядка дополнительно охватывает предикаты и квантификацию. |
While propositional logic deals with simple declarative propositions, first-order logic additionally covers predicates and quantification. |