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

Proof system - перевод на русский, синонимы, антонимы, примеры в контексте
система доказательств
Translate

- proof [adjective]

noun: доказательство, проверка, доказывание, корректура, проба, испытание, пробный оттиск, гранка, пробирка

adjective: устойчивый, непроницаемый, установленной крепости, непробиваемый, не поддающийся действию, недоступный, не поддающийся чему-л.

verb: делать непроницаемым

  • damp proof electrical equipment - влагостойкое электрооборудование

  • freezer proof - морозоустойчивый

  • proof of infection - доказательство инфекции

  • proof shifts - взрывозащищенные сдвиги

  • proof evidence - доказательство доказательств

  • proof-of-concept pilot - проверка концепции пилотного

  • proof of receipt - доказательство получения

  • a proof system - доказательство системы

  • sound proof - звукоизоляционные

  • are sufficient proof - является достаточным доказательством того,

  • Синонимы к proof: unaffected by, resistant to, impenetrable by, repellent to, immune from, invulnerable to, impervious to, corroboration, certification, authentication

    Антонимы к proof: guess, theory, conjecture, mistake, belief, idea, notion, suspicion, assumption, contravention

    Значение proof: able to withstand something damaging; resistant.

- system [noun]

noun: система, устройство, сеть, метод, организм, способ, формация, вычислительная система, вселенная, мир

  • dc electrical energy system - электроэнергетическая система постоянного тока

  • dial system tandem operation - автоматический транзит

  • flaps drive system - система привода закрылков

  • canard foil system - крыльевое устройство по схеме "утка"

  • dialogue system - диалоговая система

  • lymphatic system - лимфатическая система

  • locking system - запирающая система

  • proximity warning system - система сигнализации сближения

  • acoustic feedback control system - система акустического контроля с обратной связью

  • campus wide information system - всеуниверситетская информационная система

  • Синонимы к system: arrangement, complex, network, setup, structure, organization, approach, means, way, routine

    Антонимы к system: chaos, confusion, disorder, disorganization, part, cog

    Значение system: a set of connected things or parts forming a complex whole, in particular.



After the proof of principle research, a functional system must be created to couple the solid state pore and sensing devices.

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

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

Thus, even though the report points out that the system as it presently stands is open to abuse, as of now there is no actual proof that there has been any abuse.

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

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

Later that year, von Neumann was able to correct the proof for a system of arithmetic without any axioms of induction.

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

Позже в том же году фон Нейман смог исправить доказательство для системы арифметики без каких-либо аксиом индукции.

You're living proof that our revolving-door prison system works.

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

Ты подтверждение того, что тюремная система работает.

Emil shut off the security system so he could get proof that you and your contractor were shacking up.

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

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

It was there that Patriot was first regarded as a successful ABM system and proof that ballistic missile defense was indeed possible.

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

Слова dove и come заключаются в контракт с любым словом, начинающимся с e, исключая-e основного слова, как в “Com'ERA bello!

Originally, non-interactive zero-knowledge was only defined as a single theorem proof system.

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

Первоначально неинтерактивное нулевое знание было определено только как система доказательства одной теоремы.

Extra rainfall may drought-proof Eastern Queensland, and thereby improve river inflows to the Murray-Darling River system.

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

Дополнительные осадки могут привести к засухоустойчивости Восточного Квинсленда и тем самым улучшить приток рек в речную систему Мюррей-Дарлинг.

Pure ethanol is classed as 200 proof in the U.S., equivalent to 175 degrees proof in the UK system.

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

Чистый этанол классифицируется как доказательство 200 в США, что эквивалентно доказательству 175 градусов в британской системе.

Gödel's original statement and proof of the incompleteness theorem requires the assumption that the system is not just consistent but ω-consistent.

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

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

The moose would also comment on system events and user actions and could speak what a user typed using the Moose Proof desk accessory.

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

Лось также комментировал системные события и действия пользователя и мог говорить то, что пользователь набрал с помощью аксессуара Loose Proof desk.

The car is equipped with a fire-fighting system, emergency exit, thick bullet-proof windows, and armour plates beneath to withstand mines and bomb.

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

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

Once this is done, the second incompleteness theorem follows by formalizing the entire proof of the first incompleteness theorem within the system itself.

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

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

This system runs on proof, not information.

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

Эта система движется за счёт доказательств, а не информации.

The eternal flame's original, custom-manufactured ignition system was contained in a weather-proof box buried a few feet from the grave site.

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

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

To have absolute proof that the system convicts innocents.

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

Чтоб было несомненное доказательство, что система осуждает невиновных.

Mizar is an example of a proof system that only supports set theory.

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

Мизар-это пример системы доказательств, которая поддерживает только теорию множеств.

The proof of the second incompleteness theorem is obtained by formalizing the proof of the first incompleteness theorem within the system F itself.

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

Доказательство второй теоремы неполноты получено путем формализации доказательства первой теоремы неполноты в самой системе F.

Proof assistants require a human user to give hints to the system.

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

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

The proof can be generalized to a system of point particles by applying the above proof to each of the point particles and then summing over all the point particles.

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

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

He further noticed the New York working districts which, in his own opinion, were proof of the inhumanity of capitalism and of the system's greed.

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

Далее он обратил внимание на рабочие районы Нью-Йорка, которые, по его собственному мнению, были доказательством бесчеловечности капитализма и жадности системы.

It all started with Nixon's promise to build an alien-proof fence around the solar system.

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

Всё началось с обещания Никсона построить противоинопланетный забор вокруг Солнечной системы.

This proof-of-concept demonstrates the feasibility of periodic recharging using a laser beam system.

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

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

Like hashcash, cryptocurrencies use a hash function as their proof-of-work system.

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

Как и hashcash, криптовалюты используют хэш-функцию в качестве своей системы доказательства работы.

In such a system each proof requires its own fresh common reference string.

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

В такой системе каждое доказательство требует своей собственной свежей общей ссылочной строки.

In September 2018, Bosch successfully tested its proof-of-concept safety system for righting a slipping motorcycle using cold gas thrusters.

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

В сентябре 2018 года компания Bosch успешно протестировала свою систему безопасности proof-of-concept для исправления скольжения мотоцикла с помощью двигателей холодного газа.

The role of judges in the Indonesian criminal justice system is to impose a proper punishment on offenders based on a sufficient means of legal proof.

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

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

One of these texts included the Proof of Prophecies, in which he comments on several Quranic verses and holds the Quran in high esteem.

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

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

As you all know very well, our mental health care system is not equipped to help everyone, and not everyone with destructive thoughts fits the criteria for a specific diagnosis.

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

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

It's a problem when this artificial intelligence system gets things wrong.

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

Плохо, когда система искусственного интеллекта понимает что-то неправильно.

Your brain received a shock and defended itself by sending out protein molecules to bind to your nervous system.

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

Твой мозг в состоянии шока послал белковые молекулы прямо в твою нервную систему.

And it's this system of production outside of France that is crucial for the Enlightenment.

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

И именно эта система производства за границей Франции оказалась ключевым элементом Просвещения.

The Territory's judicial system has a District Court, a Superior Court and a Supreme Court.

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

Судебная система территории включает Окружной суд, Высший суд и Верховный суд.

So, they were put into the system.

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

Так что их отправили в детдом.

These are often exacerbated by a lack of integrated vision and strategy both for the inland waterways and for the whole transport system.

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

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

There is no special legal system in Lithuania to protect the freedom necessary for scientific research and creative activity.

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

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

As we redesign the education system in Qatar, we are simultaneously introducing democratic reform into our political structure.

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

Перестраивая нашу систему образования в Катаре, мы в то же время проводим демократическую реформу нашей политической системы.

Well, we're running tests now, but that toxin was strong enough to completely shut down Garrett's central nervous system.

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

Мы проверяем сейчас, но этот токсин был достаточно сильный для того, чтобы полностью парализовать центральную нервную систему Гарретт.

Implementation of an aviation fuel farms system which will allow aircraft to refuel with A1 jet fuel in many regions within the country.

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

Создание хранилищ авиационного топлива, которое позволит осуществлять заправку авиационным керосином марки А1 во многих районах страны.

In Gaza, most of the road system is less than five metres wide and is only semi-paved or unpaved.

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

В Газе большинство дорог менее пяти метров шириной и асфальтированы только наполовину или не асфальтированы совсем.

When the bootstrap script has all the information it needs, it will start to download the source code for the base system and compile it.

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

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

You can also learn more about the Gentoo mailing list system by reading the short Gentoo mailing list FAQ that appears later in this document.

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

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

the question is only whether we move from the current system to an alternative in a haphazard way, or in a more careful and structured way.

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

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

I still find it difficult to see the proof with regards to past lives that your movement claims.

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

Мне все еще трудно увидеть доказательства по отношению к прошлой жизни, как утверждает ваше движение.

Never mind, said Mr. Satterthwaite. We are getting on. You remember you said that what we wanted to find in this room was a proof of Ellis's innocence.

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

Все равно мы значительно продвинулись, -возразил мистер Саттерсвейт. - Помните, вы говорили, что нам нужно найти в этой комнате доказательство невиновности Эллиса?

On The Proof of the Spirit and of Power, Lessing's Theological Writings, Chadwick p. 51-56.

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

О доказательстве духа и силы, Богословские труды Лессинга, Chadwick p. 51-56.

For example, one false proof that 1=0 exploits the failure of associativity for infinite sums.

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

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

A zero-knowledge password proof is a special kind of zero-knowledge proof of knowledge that addresses the limited size of passwords.

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

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

Cattle earmarks are often a variety of knife cuts in the ear as an aid to identification, but it does not necessarily constitute proof of ownership.

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

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

In others, the burden of proof is on a plaintiff to disprove his or her own negligence.

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

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

Annals of Mathematics accepted the proof in 2005; but was only 99% sure of the proof.

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

Анналы математики приняли это доказательство в 2005 году, но были уверены в нем только на 99%.

In August 2014, the Flyspeck team's software finally verified the proof to be correct.

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

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

Moreover, his admitting to wanting to procreate with mother was considered proof of the boy's sexual attraction to the opposite-sex parent; he was a heterosexual male.

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

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

Completing the proof, Perelman takes any compact, simply connected, three-dimensional manifold without boundary and starts to run the Ricci flow.

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

Завершая доказательство, Перельман берет любое компактное, просто связное, трехмерное многообразие без границ и начинает запускать поток Риччи.

This for him is proof of the superior power of the Jaina images as compared to the Shaiva.

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

Это для него является доказательством высшей силы джайнских образов по сравнению с Шивой.

The United States Mint produces Proof Sets specifically for collectors and speculators.

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

Монетный Двор Соединенных Штатов производит наборы доказательств специально для коллекционеров и спекулянтов.

The burden of proof is on the complainant to make a strong and clear case.

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

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

Imposition proof is usually done with a large-format color inkjet printer.

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

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

Douglas demonstrated that loans create deposits, and presented mathematical proof in his book Social Credit.

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

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



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

0You have only looked at
% of the information