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

Язык основанный на логике предикатов - перевод на английский, синонимы, антонимы, примеры в контексте
predicate logic language
Translate
язык основанный на логике предикатов -

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

имя существительное: language, speech, tongue, idiom, accent, phraseology, bolt, phrase, clap, red rag

- на [частица]

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

- логике

to logic

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

имя существительное: predicate



В 1971 году Брод приобрел Sun Life Insurance Company of America, семейную страховую компанию, основанную в Балтиморе в 1890 году, за 52 миллиона долларов.

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

In 1971, Broad acquired Sun Life Insurance Company of America, a family-owned insurance company founded in Baltimore in 1890, for $52 million.

В настоящее время фильм имеет оценку 60% на Rotten Tomatoes, основанную на 10 отзывах, со средним рейтингом 5.47/10.

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

The film currently has a 60% score on Rotten Tomatoes based on 10 reviews, with an average rating of 5.47/10.

Основанная Макдоннеллом Дугласом, исследовательская и опытно-конструкторская группа продолжила свою деятельность после приобретения компании Boeing.

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

Founded by McDonnell Douglas, the research and development group continued after Boeing acquired the company.

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

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

The system, based on the signals from aircraft transponders, alerts pilots if a potential collision with another aircraft is imminent.

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

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

The radio satellites transmit the packets of information on a standard radio frequency in a format based on the coordinate values of the receiving device.

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

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

In this mode, a policy is not enforced and you can change any predicates, actions, or values associated with its rules before you test or begin enforcing it.

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

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

In 2013, a new technology CRISPR-Cas9, based on a prokaryotic viral defense system, was engineered for editing the genome, and it was quickly adopted in laboratories.

В 2000 году Konami выпустила аркадную игру, основанную на франшизе под названием Fighting Mania.

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

In 2000, Konami released an arcade game based on the franchise titled Fighting Mania.

ЭКО разработал эту транскультурную международную сеть, основанную на идее Алена Ле Пишона в Западной Африке.

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

Eco developed this transcultural international network based on the idea of Alain le Pichon in West Africa.

Доказательство или доказательство способности используется в Burstcoin, криптовалюта, основанная в августе 2014 года.

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

Proof of space or Proof of capacity is used in the Burstcoin cryptocurrency founded in August 2014.

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

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

These weapons, based on the early Germanic spatha, were made very well.

Основанная в 1942 году, она претендует на старейшую все еще работающую радиостанцию женского колледжа в стране.

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

Founded in 1942, it holds claim to the oldest still-running women's college radio station in the country.

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

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

Ātman, in the ritualism-based Mīmāṃsā school of Hinduism, is an eternal, omnipresent, inherently active essence that is identified as I-consciousness.

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

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

His belief via the method of the courtroom satisfies the four subjunctive conditions, but his faith-based belief does not.

Он предполагает, что существование не является предикатом или качеством.

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

He proposes that existence is not a predicate, or quality.

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

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

Not all intensifiers are the same syntactically—they vary on whether they can be used attributively or predicatively.

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

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

Heron's formula is also a special case of the formula for the area of a trapezoid or trapezium based only on its sides.

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

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

Students are able to monitor the changes in their scores and receive formative feedback based on a standardized score relative to the class mean.

Как таковая, это основанная на фантазии ролевая приключенческая игра.

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

As such, it is a fantasy-based role-playing adventure game.

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

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

Derivative relationships exist between a bibliographic work and a modification based on the work.

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

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

His fame rests mainly upon a long poem, Carmen paschale, based on the four gospels.

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

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

Others such as the WhirlyBird were skill games meant for arcade distribution or other location-based business usage.

Благодаря этой временной метке, основанной на локальности, TTU предоставляет больше контроля локальному администратору для регулирования в сетевом хранилище.

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

Owing to this locality based time stamp, TTU provides more control to the local administrator to regulate in network storage.

Он разработал собственную теорию спектроскопии, основанную на атомных колебаниях.

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

He developed his own theory of spectroscopy, based on atomic vibrations.

Условность здесь заключается в том, что буква S является субъектом вывода, P-предикатом вывода, а M-средним термином.

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

The convention here is that the letter S is the subject of the conclusion, P is the predicate of the conclusion, and M is the middle term.

На Metacritic альбом имеет оценку 68/100, основанную на 9 отзывах.

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

On Metacritic, the album holds a score of 68/100 based on 9 reviews.

После восшествия на престол Якова I в Англии историк Уильям Кэмден написал официально санкционированную биографию, основанную на оригинальных документах.

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

After the accession of James I in England, historian William Camden wrote an officially sanctioned biography that drew from original documents.

В их исследовании, основанном на немецких данных 1990-х годов, эффект алкоголя был выше почти для всех уровней BAC, чем у Borkenstein и др.

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

In their study based on the 1990s German data, the effect of alcohol was higher for almost all BAC levels than in Borkenstein, et al.

Ведущей драм - н-бас радиостанцией в настоящее время является Денверская DnB Radio, основанная в 2003 году М. Рамиресом.

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

The leading Drum & Bass radio Station is now Denver's DnB Radio, established in 2003 by M. Ramirez.

Затем он присоединился к D. E. Shaw & Co, недавно основанному хедж-фонду с сильным акцентом на математическое моделирование, в 1990 году и работал там до 1994 года.

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

He then joined D. E. Shaw & Co, a newly founded hedge fund with a strong emphasis on mathematical modelling, in 1990 and worked there until 1994.

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

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

Church music – that is, music that is based on written work – is important particularly in the Americas and in some other countries of Europe.

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

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

In 1934, the composer Joseph Schillinger created a highly accurate notation system based on the 3D bone rotation and translation of a moving dancer.

Спайдер Робинсон, коллега, друг и поклонник Хайнлайна, написал переменную звезду, основанную на набросках и заметках для юношеского романа, который Хайнлайн подготовил в 1955 году.

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

Spider Robinson, a colleague, friend, and admirer of Heinlein, wrote Variable Star, based on an outline and notes for a juvenile novel that Heinlein prepared in 1955.

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

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

In November 1872 he published Love is Enough, a poetic drama based on a story in the Medieval Welsh text, the Mabinogion.

Земное дитя-это Аудиокнига Big Finish Productions, основанная на давно идущем британском научно-фантастическом телесериале Доктор Кто.

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

An Earthly Child is a Big Finish Productions audiobook based on the long-running British science fiction television series Doctor Who.

Древнейшим сохранившимся текстом индуизма является Ригведа, датируемая между 1700 и 1100 годами до н. э., основанная на лингвистических и филологических свидетельствах.

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

The oldest surviving text of Hinduism is the Rig Veda, which is dated to between 1700 and 1100 BC based on linguistic and philological evidence.

Община Онейда, основанная Джоном Хамфри Нойсом в Онейде, штат Нью-Йорк, была утопической религиозной общиной, которая просуществовала с 1848 по 1881 год.

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

The Oneida Community, founded by John Humphrey Noyes in Oneida, New York, was a utopian religious commune that lasted from 1848 to 1881.

Основанная в 1540 году, Мармато имеет население в 10 000 человек.

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

Founded in 1540, Marmato has a population of 10,000 people.

Кто-нибудь еще помнит эту рок-песню, основанную на трех маленьких свинках?

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

Does anyone still remember that rock song based on the Three Litle Pigs?

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

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

However, an increasing emphasis on the logical, knowledge-based approach caused a rift between AI and machine learning.

Одна из последних - Сократ на суде, пьеса, основанная на облаках Аристофана и апологии Платона, Критоне и Федоне, адаптированная к современному исполнению.

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

One of the most recent has been Socrates on Trial, a play based on Aristophanes's Clouds and Plato's Apology, Crito, and Phaedo, all adapted for modern performance.

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

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

Even beyond recognition, the Athenians allotted the goddess value based on this pureness of virginity, which they upheld as a rudiment of female behavior.

Авиационный медицинский эксперт проводит экспертизу, основанную на желаемом классе сертификации.

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

The Aviation Medical Examiner performs an examination based upon the class of certification desired.

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

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

Also featured are Dinosaur Jr.'s J Mascis and Canadian rock icon Tom Cochrane playing and singing and handclapping along.

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

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

For if A is predicated of all B, and B of all C, A must necessarily be predicated of all C. ... I call this kind of figure the First.

Мемориальная доска, расположенная по адресу 100 Franklin St, Мельбурн, посвящена ледовому заводу Виктория, основанному Джеймсом Харрисоном в 1859 году.

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

A plaque located at 100 Franklin St, Melbourne commemorates the Victoria Ice Works founded by James Harrison in 1859.

Фабьен Пикар предлагает неврологическое объяснение этой субъективной уверенности, основанное на клинических исследованиях эпилепсии.

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

Static support is provided by ensuring the center of gravity is within the support pattern formed by legs in contact with the ground.

Наряду с этим Telltale объявила, что они работают над еще не названной игрой, основанной на оригинальном свойстве Netflix, Stranger Things.

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

Alongside this, Telltale announced that they were working on a yet-untitled game based on Netflix's original property, Stranger Things.

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

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

This part is about causation between properties and states of the thing under study, not its substances or predicates.

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

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

Dargo is currently undercover on private property.

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

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

It solves the frame problem by using first-order logic terms, rather than predicates, to represent the states.

Амазонки появляются в цифровом комиксе Smallville Season 11, основанном на телесериале.

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

Amazons appear in the Smallville Season 11 digital comic based on the TV series.

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

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

Moreoever, predicates of more than one arity are generally called relations these days.

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

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

In the knowledge-based economy, learning becomes extremely important in determining the fate of individuals, firms and national economies.

Оквудская больница в Барминг-хит близ Мейдстона, Англия, была психиатрической больницей, основанной в 1833 году как сумасшедший дом графства Кент.

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

Oakwood Hospital in Barming Heath near Maidstone, England was a psychiatric hospital founded in 1833 as the Kent County Lunatic Asylum.

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

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

i've never seen an object based on an underdeveloped user page, and i would never dream of objecting on those grounds.

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

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

In order to receive the American Humane Certified logo, farms must pass an assessment based on a list of over 200 standards.

Футуризм-это авангардное движение, основанное в Милане в 1909 году итальянским поэтом Филиппо Томмазо Маринетти.

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

Futurism is an avant-garde movement founded in Milan in 1909 by the Italian poet Filippo Tommaso Marinetti.

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

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

The real points will be made through tactical utilization of the game's fear-based multiplier system.



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

0You have only looked at
% of the information