Выводимые - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
Это интерактивный сеанс OCaml, который печатает выводимые типы результирующих или определенных выражений. |
This is an interactive OCaml session that prints the inferred types of resulting or defined expressions. |
Логически выводимые возможности находятся в пределах человеческой способности мыслить. |
The logical alternatives are within the bounds of human reasoning. |
Это два оставшихся полюса, выводимые путем разложения знаменателя подынтегральной функции на множители. |
These are the two remaining poles, derivable by factoring the denominator of the integrand. |
Средства, выводимые на кредитную или дебетовую карту, будут возвращены на карту, использованную при пополнении счета. |
Funds redeemed by Credit or Debit card will be returned to the card used for the initial deposit. |
Статически типизированные языки могут быть либо явно типизированными, либо выводимыми по типу. |
Statically typed languages can be either manifestly typed or type-inferred. |
Вы можете снимать вознаграждение в любое время без ограничений на минимальный и максимальный объем выводимых средств; |
You can withdraw your reward at any time with no restrictions on the minimum or maximum withdrawal amount; |
Здесь интерактивная среда выполнения OCaml выводит выводимый тип объекта для удобства. |
Here the OCaml interactive runtime prints out the inferred type of the object for convenience. |
Далее на этой странице идет долгая дискуссия о математически выводимых утверждениях. |
Later on this page, there's a long discussion about mathematically deducible statements. |
Но он продолжит вкладывать средства в России, если Европа не введет против нее новые ограничения, или если Москва не ограничит сумму средств, выводимых за пределы страны. |
However, he will continue investing in Russia, unless Europe slaps more restrictions on Russia or Moscow limits how much money can leave its borders. |
ПХБ подвергаются ксенобиотической биотрансформации, механизму, используемому для того, чтобы сделать липофильные токсины более полярными и более легко выводимыми из организма. |
PCBs undergo xenobiotic biotransformation, a mechanism used to make lipophilic toxins more polar and more easily excreted from the body. |
Ибо они никогда не выводимы из единичных утверждений, но могут быть опровергнуты единичными утверждениями. |
For these are never derivable from singular statements, but can be contradicted by singular statements. |
Чем крупнее апикальный препарат, тем выше процент бактерий, выводимых из корневого канала. |
The larger the apical preparation, the higher the percentage of bacteria eliminated from the root canal. |
Использовать логический столбец для указания принадлежности текущей записи к выводимым элементам. |
Use a Boolean column to indicate whether the current record is an inferred member. |
- выводимые на экран - indicated on the screen
- выводимые ресурсы - inferred resources