Narrowing axioms - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция

Narrowing axioms - перевод на русский, синонимы, антонимы, примеры в контексте
сужение аксиом
Translate

- narrowing [verb]

noun: уменьшение

adjective: суживающийся

- axioms

аксиомы



Rightward tapping or listening had the effect of narrowing attention such that the frame was ignored.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Правостороннее постукивание или прослушивание имело эффект сужения внимания, так что кадр игнорировался.

Urethral stenosis is a narrowing of the urethra that prevents urine from exiting the bladder.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Стеноз уретры - это сужение уретры, которое препятствует выходу мочи из мочевого пузыря.

There is thus, on the one hand, the notion of completeness of a deductive system and on the other hand that of completeness of a set of non-logical axioms.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Таким образом, существует, с одной стороны, понятие полноты дедуктивной системы, а с другой-понятие полноты набора нелогических аксиом.

Also, luminal narrowing or the arteries and arterioles of the kidney system.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Кроме того, сужение просвета или артерий и артериол почечной системы.

From the looks of it, he's been here for a while, but narrowing an actual TOD poses a bit of a quandary.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

По виду, он пробыл здесь довольно долго, но назвать настоящее время смерти довольно затруднительно.

Geometry is the purest realization of human reason; but Euclid's axioms cannot be proved.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Г еометрия является чистым воплощением человеческой логики, но изначальные аксиомы Евклида необходимо принимать на веру.

His brain MRI showed narrowing in the blood vessels leading up from the neck.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

На снимках МРТ видно сужение кровеносных сосудов, ведущих от шеи вверх.

Narrowing it down to every single block in Manhattan.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

И это сужает поиск до каждого квартала на Манхэттене.

Thus narrowing M's dump site to the entire east side of Manhattan.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Таким образом, сузив зону выброса тел М до всей восточной части Манхэттена.

We agree with those who believe that studying abroad is an important means of widening one's perspective and narrowing the gap to avoid future misunderstandings.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Мы согласны с теми, кто считает, что обучение за рубежом служит одним из важных средств расширения кругозора и сужения поля для возможного будущего недопонимания.

Since 2003 steeply rising oil import demand in developing countries and the narrowing margin between oil supply and demand have driven up prices.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

С 2003 года быстро растущий спрос на нефтяной импорт в развивающихся странах и сужение разрыва между предложением нефти и спросом на нефть обусловливают повышение цен.

Moreover, a recession or a slowdown in the US and Europe would hit Brazilian exports, narrowing Brazil’s trade surplus considerably.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Более того, спад или замедление в США и Европе отразится на бразильском экспорте, значительно сузив активный торговый баланс Бразилии.

Boche's eyes were narrowing, those of Lorilleux were paling, and Poisson was developing expressions of stern severity on his soldierly face.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Г лаза у Боша сузились, а у Лорилле стали совсем оловянными. Лицо Пуассона, бронзовое, как у всех старых солдат, потемнело: он все сердитее и сердитее вращал глазами.

A narrowing of the exit of the stomach.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Сужение места перехода желудка в двенадцатиперстную кишку.

Try narrowing the search by preference.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Попробуй сузить поиск по критериям.

I'll try narrowing the scan field.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Я попытаюсь сузить поле сканирования.

Or the second condition, that the proposition is deduced by infallible logic based on other axioms or postulates.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Или другое условие, предположение установлено безошибочной логикой, основанной на других аксиомах или постулатах.

Langdon's eyes traced its narrowing form downward to its tip, suspended only six feet above the floor. There, directly beneath it, stood the tiny structure.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Лэнгдон окинул ее взором от вершины до самого кончика, повисшего на высоте около шести футов над полом. И там, прямо под ним, стояло еще одно сооружение. Совсем крохотное.

With the adrenaline pumping and the ledge narrowing...

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

С расширенными зрачками и суженым краем карниза...

Krumitz is working on narrowing our target's location.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Крумиц работает над сужением зоны местонахождения объекта.

By denying access to Larissa Moscovitz's client list, Dr. Fleck has prevented us from narrowing down the number of suspects.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Отказав нам в предоставлении списка клиентов Ларисы Московиц, доктор Флек помешал нам сузить круг подозреваемых.

Many philosophers have called the axioms into question.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Многие философы подвергали аксиомы сомнению.

A second layer is that these particular axioms lead to unwelcome conclusions.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Второй слой состоит в том, что эти конкретные аксиомы приводят к нежелательным выводам.

The broader criticism is that even if the axioms cannot be shown to be false, that does not mean that they are true.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Более широкая критика состоит в том, что даже если аксиомы не могут быть доказаны как ложные, это не означает, что они истинны.

A proof does not necessitate that the conclusion be correct, but rather that by accepting the axioms, the conclusion follows logically.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Доказательство не требует, чтобы вывод был правильным, но скорее, что, принимая аксиомы, вывод следует логически.

Or it may be incomplete simply because not all the necessary axioms have been discovered or included.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Или она может быть неполной просто потому, что не все необходимые аксиомы были открыты или включены.

It is not even possible for an infinite list of axioms to be complete, consistent, and effectively axiomatized.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Даже бесконечный список аксиом не может быть полным, последовательным и эффективно аксиоматизированным.

It is uncertain whether it is a congenital anatomic narrowing or a functional hypertrophy of the pyloric sphincter muscle.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Неясно, является ли это врожденным анатомическим сужением или функциональной гипертрофией пилорического сфинктера.

Is there any chance of narrowing this down to a specific month and day?

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Есть ли какой-нибудь шанс сузить это до определенного месяца и дня?

Additionally, an order can be Dedekind-complete, as defined in the section Axioms.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Кроме того, порядок может быть Дедекинд-полным, как определено в разделе аксиомы.

The spin and twin axioms can be verified experimentally.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Аксиомы спина и Близнецов могут быть проверены экспериментально.

If FA is provable from the axioms of S, then the corresponding assertion A must be true.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Если FA доказуемо из аксиом S, то соответствующее утверждение A должно быть истинным.

This has reduced the long-noted distinction of economics from natural sciences because it allows direct tests of what were previously taken as axioms.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Это уменьшило давно отмеченное различие между экономикой и естественными науками, поскольку оно позволяет проводить прямые проверки того, что ранее принималось за аксиомы.

The next three axioms are first-order statements about natural numbers expressing the fundamental properties of the successor operation.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

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

When Peano formulated his axioms, the language of mathematical logic was in its infancy.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Когда Пеано сформулировал свои аксиомы, язык математической логики находился в зачаточном состоянии.

In addition to this list of numerical axioms, Peano arithmetic contains the induction schema, which consists of a recursively enumerable set of axioms.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В дополнение к этому списку числовых аксиом арифметика Пеано содержит схему индукции, которая состоит из рекурсивно перечисляемого набора аксиом.

One such axiomatization begins with the following axioms that describe a discrete ordered semiring.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Одна из таких аксиоматизаций начинается со следующих аксиом, описывающих дискретное упорядоченное полукольцо.

This illustrates one way the first-order system PA is weaker than the second-order Peano axioms.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Это иллюстрирует один из способов, которым система первого порядка PA слабее, чем аксиомы Пеано второго порядка.

In 1936, Gerhard Gentzen gave a proof of the consistency of Peano's axioms, using transfinite induction up to an ordinal called ε0.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В 1936 году Герхард Гентцен доказал непротиворечивость аксиом Пеано, используя трансфинитную индукцию вплоть до порядкового числа, называемого ε0.

The outgoing acoustic wave hits the narrowing convergent section and reflects back a strong series of acoustic pulses to the cylinder.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Исходящая акустическая волна попадает в сужающуюся конвергентную секцию и отражает обратно в цилиндр сильную серию акустических импульсов.

Paul Cohen later constructed a model of ZF in which AC and GCH are false; together these proofs mean that AC and GCH are independent of the ZF axioms for set theory.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Пол Коэн позже построил модель ZF, в которой AC и GCH ложны; вместе эти доказательства означают, что AC и GCH независимы от аксиом ZF для теории множеств.

In order to argue against this viewpoint, it would be sufficient to demonstrate new axioms that are supported by intuition and resolve CH in one direction or another.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Для того чтобы опровергнуть эту точку зрения, было бы достаточно продемонстрировать новые аксиомы, опирающиеся на интуицию и разрешающие СН в том или ином направлении.

A set of axioms should also be non-redundant; an assertion that can be deduced from other axioms need not be regarded as an axiom.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Набор аксиом также не должен быть избыточным; утверждение, которое может быть выведено из других аксиом, не должно рассматриваться как аксиома.

However, at present, there is no known way of demonstrating the consistency of the modern Zermelo–Fraenkel axioms for set theory.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Однако в настоящее время нет известного способа продемонстрировать непротиворечивость современных аксиом Цермело–Френкеля для теории множеств.

The principle of mathematical induction is usually stated as an axiom of the natural numbers; see Peano axioms.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Принцип математической индукции обычно формулируется как аксиома натуральных чисел; см.

In the context of the other Peano axioms, this is not the case, but in the context of other axioms, they can be equivalent.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В контексте других аксиом Пеано это не так, но в контексте других аксиом они могут быть эквивалентны.

Results on the completeness of some sets of combinators or axioms can also be transferred.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Результаты о полноте некоторых множеств комбинаторов или аксиом также могут быть переданы.

Thus a sheaf can often be defined by giving its values on the open sets of a basis, and verifying the sheaf axioms relative to the basis.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Таким образом, пучок часто можно определить, задавая его значения на открытых множествах базиса и проверяя аксиомы пучка относительно базиса.

All kinds of structures were abstracted using axioms and given names like metric spaces, topological spaces etc.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Все виды структур были абстрагированы с помощью аксиом и получили имена, такие как метрические пространства, топологические пространства и т. д.

It is of very irregular outline, narrowing to the south.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Она имеет очень неправильные очертания, сужаясь к югу.

Spinal stenosis is an abnormal narrowing of the spinal canal or neural foramen that results in pressure on the spinal cord or nerve roots.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Спинальный стеноз-это аномальное сужение позвоночного канала или нервного отверстия, которое приводит к давлению на спинной мозг или нервные корешки.

Alternative solutions were then proposed, involving predicate completion, fluent occlusion, successor state axioms, etc.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Затем были предложены альтернативные решения, включающие завершение предиката, плавную окклюзию, аксиомы преемственного состояния и т. д.

At first, as the plaques grow, only wall thickening occurs without any narrowing.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Сначала, по мере роста бляшек, происходит только утолщение стенки без какого-либо сужения.

The majority of cardiovascular events that involve sudden rupture of the atheroma plaque do not display any evident narrowing of the lumen.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Большинство сердечно-сосудистых событий, связанных с внезапным разрывом атеромной бляшки, не проявляют какого-либо явного сужения просвета.

Byssinosis can ultimately result in narrowing of the airways, lung scarring and death from infection or respiratory failure.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Биссиноз может в конечном итоге привести к сужению дыхательных путей, образованию рубцов на легких и смерти от инфекции или дыхательной недостаточности.

First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Логика первого порядка является стандартом для формализации математики в аксиомы и изучается в основах математики.

I believe clarity here will require narrowing the definition of paid editor and defining additional terms to capture a broader scope.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Я полагаю, что ясность здесь потребует сужения определения платного редактора и определения дополнительных терминов, чтобы охватить более широкую сферу охвата.

The most important of these for gameplay were the technological, magical, and spiritual axioms.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Наиболее важными из них для игрового процесса были технологические, магические и духовные аксиомы.

A series of regulations followed aimed at restricting London's prostitution to Southwark and narrowing its appeal.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Например, большинство буддистов никогда не слышали о Четырех Благородных Истинах, пока западные люди не рассказали им о них.



Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «narrowing axioms». А именно, здесь можно найти перевод (значение) «narrowing axioms» на русском языке, синонимы, антонимы, краткое определение слов: narrowing, axioms , а также произношение и транскрипцию к «narrowing axioms». Также, к фразе «narrowing axioms» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.

0You have only looked at
% of the information