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

Логически истинное предложение - перевод на английский, синонимы, антонимы, примеры в контексте
logically true sentence
Translate
логически истинное предложение -

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

имя существительное: offer, offering, sentence, proposal, supply, suggestion, proposition, proffer, motion, clause



Например, X>0 является ограничением и включается в последнее предложение следующей логической программы ограничения.

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

As an example, X>0 is a constraint, and is included in the last clause of the following constraint logic program.

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

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

Adding a comma doesn't work logically; it appears there is an entire clause, if not more, missing.

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

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

Confusion is often noticeable to onlookers as those with DT will have trouble forming simple sentences or making basic logical calculations.

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

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

We haven't an unambiguous example of logically valid, but unprovable sentence.

Логический NAND-это операция над двумя логическими значениями, обычно значениями двух предложений, которая производит значение false, если оба его операнда истинны.

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

The logical NAND is an operation on two logical values, typically the values of two propositions, that produces a value of false if both of its operands are true.

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

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

These questions could always logically be completed by stating the opposite of the offer, though this effect is understood intuitively by native speakers.

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

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

Logical conjunction is an operation on two logical values, typically the values of two propositions, that produces a value of true if both of its operands are true.

Логическая форма предложения определяется его семантической или синтаксической структурой и расположением логических констант.

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

The logical form of a sentence is determined by its semantic or syntactic structure and by the placement of logical constants.

Логическая программа ограничения-это логическая программа, содержащая ограничения в теле предложений.

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

A constraint logic program is a logic program that contains constraints in the body of clauses.

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

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

For example, substituting propositions in natural language for logical variables, the inverse of the following conditional proposition.

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

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

Logical determinism or determinateness is the notion that all propositions, whether about the past, present, or future, are either true or false.

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

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

Further concepts were proposed by Forrest Carter of the Naval Research Laboratory, including single-molecule logic gates.

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

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

Logic sentences that can be expressed in classical propositional calculus have an equivalent expression in Boolean algebra.

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

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

The truth of a sentence, and its logical relation to other sentences, is then evaluated relative to a model.

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

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

Personal animosity is not a logical reason for rejecting proposed wordings.

Логическая программа ограничения-это логическая программа, содержащая ограничения в телах предложений.

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

A constraint logic program is a logic program that contains constraints in the bodies of clauses.

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

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

There is no longer any logical reason to have article text cluttered with large blobs of footnotes that clog sentences.

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

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

The article would do well to make the parallel with meaningless propositions as discussed in modern logical tradition over the last hundred years.

За исключением терминологии, основные правила идентичны логическим правилам, впервые предложенным в их нынешнем виде в сентябре 1996 года Джоном Тромпом и Биллом Тейлором.

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

Except for terminology, the basic rules are identical to the Logical Rules first proposed in their current form in September 1996 by John Tromp and Bill Taylor.

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

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

In a deductive theory, any sentence which is a logical consequence of one or more of the axioms is also a sentence of that theory.

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

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

The logical NOR is an operation on two logical values, typically the values of two propositions, that produces a value of true if both of its operands are false.

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

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

Erin got a very lucrative job offer from a defense contractor, and it would be payback time.

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

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

The supply of forest goods and services is not without limits, nor can these goods and services be distributed equally to all.

Он заявил, что испытания завершаются, и соответствующее предложение будет представлено на следующей сессии Рабочей группы.

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

He said that tests are about to be finished and a proposal could be available for the next session of the Working Party.

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

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

Ultimately this proposal was not accepted, especially by developed countries.

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

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

As there has been no further follow-through in buying so far this week, I am forced to conclude that further losses appear more likely than gains for tomorrow and the week ahead.

Сделайте ей предложение в образе Смита, и она примет его.

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

Propose to her as Smith, and she will accept you.

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

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

The curate, I found, was quite incapable of discussion; this new and culminating atrocity had robbed him of all vestiges of reason or forethought.

Я думаю, вы поймете, что наше предложение вполне разумно.

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

Well, I think you'Il see that we're not being unreasonable.

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

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

I don't know how that sentence could possibly confuse you but to elaborate, I am going to the Arctic Circle with Leonard, Wolowitz, and Koothrappali.

Центральная память назьiвается так... из-за большой роли, которую она... играет в логической организации в Альфа-60.

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

The Central Memory is thus named because of the primordial role that it plays in the logic-organization within Alpha 60.

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

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

While, of course, we cannot be held to ransom, we hope to make you an offer that you consider commensurate with your talents.

Доктор с благодарностью принял предложение.

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

The doctor gratefully accepted the offer.

Eh bien, делаю вам предложение, здесь и сейчас.

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

Eh bien, I make you an offer here and now.

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

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

I will do everything that I can to get you the best deal, the best endorsements.

Это на четверть миллиона меньше, чем ваше первоначальное предложение.

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

That is a quarter million below your initial offer.

Моё предложение довольно простое - и взаимовыгодное.

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

I have a simple proposition - one that would be mutually beneficial.

Если же мы пойдём на конфликт и крайние меры по отношению друг к другу... это самое справедливое предложение будет работать против нас.

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

If two Koreas have to take extreme measures against each other... their currently justified cause will work against the Republic.

Но ты сделал мне хорошее предложение.

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

That was a good deal you made me.

Битва за Карлоса началась ночью , когда он сделал предложение, с тех пор Габриэль начала сдавать позиции Хуаните.

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

The war for control of Carlos began the night he proposed, and Gabrielle had been losing ground to Juanita ever since.

Мы сделали предложение министру промышленного развития.

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

We made a proposal to the Minister of Industrial Development.

Это является логическим скачком для тебя.

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

This is a logical leap for you.

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

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

Jem and I thought this a strange way to ask for a lady's hand in marriage, but then Uncle Jack was rather strange.

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

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

He was astonished and chagrined to find that one and all uniformly refused.

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

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

At the same time they were suspicious-one and all-of any combination scheme by an outsider.

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

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

And Stef, I know I should've asked for your blessing before I popped the question, but I am... asking for it now.

Ты отклонил моё предложение, потому что полностью удовлетворён своей должностью.

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

You rejected my offer because, as it turns out, you're quite satisfied with your station.

Я делать тебе одно предложение.

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

I'll make you a proposal.

У меня есть для тебя предложение.

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

I'll be making you an offer.

Выходит, предложение Чарли о полном сотрудничестве не такое уж и полное.

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

Turns out Charlie's version of full cooperation isn't all that full.

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

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

We all know they're going to bring the offer to market using the usual syndicate... - and now they're making sure Apollo knows it.

Так что, прежде чем сделать следующий шаг, дай мне оценить это предложение.

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

So before we take another step, let me evaluate this offer.

Я вежливо отклоняю твое предложение.

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

I politely decline your offer.

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

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

72. ... there is no logical or necessary connection between seriousness and probability.

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

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

In logic simulation, a common mistake in evaluation of accurate models is to compare a logic simulation model to a transistor circuit simulation model.

Эта награда была предложена Франсиско Вальверде 1 апреля 2006 года, а дизайн был создан 4 мая 2006 года компанией LiquidGhoul.

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

This award was proposed by Francisco Valverde on April 1, 2006, and the design was created on May 4, 2006 by LiquidGhoul.

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

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

All three models utilize 5¼-inch double density floppy disks with a track spacing of 100 tracks-per-inch, for a total of 77 logical tracks per side.

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

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

These principles should uniformly adhere to sound logical axioms or postulates.

Эфириума был предложен в конце 2013 года на Виталика Buterin, криптовалюта исследователь и программист.

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

Ethereum was proposed in late 2013 by Vitalik Buterin, a cryptocurrency researcher and programmer.



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

0You have only looked at
% of the information