Логика в информатике - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы

Логика в информатике - перевод на английский, синонимы, антонимы, примеры в контексте
Logic in Computer Science
Translate
логика в информатике -

- логика [имя существительное]

имя существительное: logics, logic

- в

предлог: in, to, at, into, on, for, within, per, inside, upon

- Информатика

computer science



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

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

This just show's the shamefull logic of this Tajjik character, it defies belief.

Изучение английского - это очень интересно и информативно.

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

English studying is very interesting and informative.

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

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

If developing countries are to become truly developed they have to adopt modes of production based on information and communications technology.

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

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

So what we saw play out in Milan is more or less a repeat of the last Putin/Poroshenko meeting that took place in Minsk on August 26, because the same logic applies.

Логика их действий полностью соответствовала путинской концепции эффективности и снижения рисков.

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

The reasoning behind this was perfectly consistent with Putin's striving for efficiency and lower risk.

В записях он просто неоплачиваемый информатор.

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

Records just have him as an unpaid informant.

Хоть какая-то логика появилась.

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

It's all a bit more logical.

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

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

When logic loosens its vice grip and the imagination comes out to play.

Сначала ты должна доказать, что ты не информатор.

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

First you need to prove that you're not an informer.

Информатор говорит, что Баззи Бёрк прячется в лачуге на Бакстер.

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

Informant says Buzzie Burke's hiding out in a flophouse over on Baxter.

Это так круто. Наш информатор. Так в стиле плаща и кинжала.

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

This is so cool. Our informant, that is so cloak-and-dagger.

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

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

Unfortunately that's not what would happen right now as long as the Espionage Act is being used against whistleblowers.

Ты и твой маленький информатор два ботаника, которые не виделись с глазу на глаз?

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

You and your little informant don't see eye to nerdy eye?

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

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

I'm actually talking to the DA about making her a full-time CI.

Я выйду на своего информатора в НХЛ и нарою нужной информации.

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

I'm gonna tap into my NHL source and get some inside information.

Наш информатор сообщает о взломе системы.

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

Our asset is tracking the extent of the breach.

В отличие от многих миров сновидений, логика Кэрролла подобна логике реальных сновидений, с переходами и гибкой причинностью.

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

Unlike many dream worlds, Carroll's logic is like that of actual dreams, with transitions and flexible causality.

Табличка у ног статуи гласит: отец информатики, математик, логик, Взломщик кодов военного времени, жертва предрассудков.

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

A plaque at the statue's feet reads 'Father of computer science, mathematician, logician, wartime codebreaker, victim of prejudice'.

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

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

This logic can be encapsulated in a factory method.

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

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

It found that Special Branch had given informers immunity and had blocked weapons searches.

Однако, когда она возвращается в Дженни Ганивер, ее одурманивают наркотиками и похищают информатором зеленой бури.

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

As she returns to the Jenny Haniver, however, she is drugged and kidnapped by a Green Storm informant.

Я заметил, что на странице динозавров упоминается Парк Юрского периода, захватывающее популярное приключение, которое, честно говоря, не очень информативно о динозаврах.

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

I noticed that the dinosaur page mentions Jurassic Park, an exciting popular adventure that is, frankly, not very informative about dinosaurs.

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

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

Humanistic informatics is one of several names chosen for the study of the relationship between human culture and technology.

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

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

A gap buffer in computer science is a dynamic array that allows efficient insertion and deletion operations clustered near the same location.

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

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

He shows in detail how the approach in Syntactic Structures goes directly back to the work of the mathematical logician Emil Post on formalizing proof.

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

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

Like fuzzy logic, they are methods used to overcome continuous variables or systems too complex to completely enumerate or understand discretely or exactly.

Винный эксперт Том Стивенсон отметил, что в принципе Коутса есть логика и что он еще не сталкивался с аномалией или вином, которое развенчивает ее.

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

Wine expert Tom Stevenson has noted that there is logic in Coates' principle and that he has yet to encounter an anomaly or wine that debunks it.

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

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

With all of us working together using whatever libraries are available, I think we finally managed to put together something informative,accurate and neutral.

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

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

Assembly language is still taught in most computer science and electronic engineering programs.

Эта возможность привела к появлению интенсивных классов английского языка или групп информатики, доступных только для специальных экзаменов в 5-м классе.

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

This possibility gave rise to Intensive English Classes or Informatics Groups, accessible only by special exams in the 5th grade.

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

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

Studying their abstract properties yields many insights into computer science and complexity theory.

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

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

In his status as informant, his complaints could not be considered as evidence, but as technical information.

Аналогичная логика применима и к образованию дивертикулов в кишечнике.

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

A similar logic applies to the formation of diverticuli in the gut.

Очевидно, что в разделе избранных статей можно найти наименее важные и наименее информативные статьи.

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

It's obvious that the Featured Article section is where one will find the LEAST important and LEAST informative articles.

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

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

Comments Another competent and informative article to add to the prestigious coins stable.

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

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

At the same time the register file was read, instruction issue logic in this stage determined if the pipeline was ready to execute the instruction in this stage.

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

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

In computer science, a deterministic automaton is a concept of automata theory in which the outcome of a transition from one state to another is determined by the input.

В этом случае положительные тесты обычно более информативны, чем отрицательные.

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

In this case, positive tests are usually more informative than negative tests.

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

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

Newsworthiness is defined as a subject having sufficient relevance to the public or a special audience to warrant press attention or coverage.

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

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

However to me it is logic that can be verified by simply reading the citations.

Философская логика...давай не будем об этом говорить.

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

Philosophical logic...let's not go over that one.

Я должен сделать отчет об этом, и это было так полезно, чтобы иметь страницу, которая так информативна!

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

I have to do a report on this, and it was so helpful to have a page that is so informative!

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

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

His rationale was that the men in his family had all died young, so he expected to die young as well.

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

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

Nevertheless, Metaphysics, Epistemology, Philosophy of Language, Logic, Moral Philosophy, and perhaps Politics must be there.

Потому что, честно говоря, я действительно не думаю, что здесь есть много информативного в любом случае.

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

Because quite frankly I really don't think there's a lot here that's informative anyway.

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

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

It seems to me rather that logic is a formalization of certain aspects of language, and that mathematics makes use of this formalization.

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

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

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

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

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

In my mind, the G6 rationale is for when an admin is actively doing something, and needs to make a deletion en route.

F-логика была разработана Майклом Кифером в Университете Стоуни Брук и Георгом Лаузеном в Университете Мангейма.

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

F-logic was developed by Michael Kifer at Stony Brook University and Georg Lausen at the University of Mannheim.

В театре состоялась церемония вручения премии 21-й Международной олимпиады по информатике.

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

The prize award ceremony of the 21st International Olympiad in Informatics was held in the theatre.

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

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

Logic, especially sentential logic, is implemented in computer logic circuits and is fundamental to computer science.

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

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

Dialectical logic is also the name given to the special treatment of dialectic in Hegelian and Marxist thought.

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

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

Closely related to questions arising from the paradoxes of implication comes the suggestion that logic ought to tolerate inconsistency.

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

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

The man made many mistakes about the content included in the game and his logic was circular.

В XVIII и XIX веках этот термин широко использовался для обозначения информаторов.

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

In the 18th and 19th centuries, the term was commonly used to refer to informers.

Поэтому эта фраза совершенно не информативна.

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

Therefore, this phrase is completely non informative.

Логика имеет дело с вещью, как-она-известна.

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

Logic is concerned with the thing as-it-is-known.

По данным безграничного информатора, за 30-дневный период, закончившийся в марте 2013 года, было собрано более 97 миллиардов единиц разведывательной информации.

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

According to Boundless Informant, over 97 billion pieces of intelligence were collected over a 30-day period ending in March 2013.

Прежде чем пометить сообщение как TLDR, подумайте, длинное оно или длинное, но все же информативное относительно его длины.

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

Before marking a post as TLDR, consider whether it's long or it's long but still informative relative to its length.



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

0You have only looked at
% of the information