Logic programs - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция
fuzzy logic - нечёткая логика
interaction logic - логика взаимодействия
binary logic gate - двоичный логический элемент
nano second logic - наносекундная логика
sound logic - здравая логика
program logic model - Программа логической модели
pneumatic logic - пневматическая логика
logic line - логика линии
its logic - его логика
based on a logic - на основе логики
Синонимы к logic: good sense, common sense, logical thought, sense, judgment, sanity, reason, wisdom, rationality, horse sense
Антонимы к logic: foolishness, folly, play pool, madness, silliness, craziness, dullness, ignorance, incompetence, muddle
Значение logic: reasoning conducted or assessed according to strict principles of validity.
noun: программа, план, спектакль, представление
verb: программировать, составлять программу
favorite programs - любимые программы
programs target - целевые программы
recreational programs - развлекательные программы
suitable programs - соответствующие программы
past programs - Прошедшие программы
employment and training programs - занятости и учебные программы
programs aimed at - программы, направленные на
programs and procedures - программы и процедуры
programs of study - программы обучения
computer software programs - Компьютерные программы
Синонимы к programs: lineup, timetable, agenda, calendar, schedule, order of events, plan of action, scheme, strategy, series of measures
Антонимы к programs: neglects, forgets
Значение programs: a planned series of future events, items, or performances.
In 1977, Amir Pnueli proposed using temporal logic to formalise the behaviour of continually operating concurrent programs. |
В 1977 году Амир Пнуэли предложил использовать темпоральную логику для формализации поведения постоянно работающих параллельных программ. |
Declarative programming often considers programs as theories of a formal logic, and computations as deductions in that logic space. |
Декларативное Программирование часто рассматривает программы как теории формальной логики, а вычисления-как дедукции в этом логическом пространстве. |
Practitioners have developed logic models and logical frameworks as strategies and tools to plan and evaluate social change programs. |
Практикующие специалисты разработали логические модели и логические структуры в качестве стратегий и инструментов для планирования и оценки программ социальных изменений. |
Practitioners have developed logic models and logical frameworks as strategies and tools to plan and evaluate social change programs. |
Практикующие специалисты разработали логические модели и логические структуры в качестве стратегий и инструментов для планирования и оценки программ социальных изменений. |
Working around the impedance mismatch problem for object-oriented programs starts with recognition of the differences in the specific logic systems being employed. |
Решение проблемы несовпадения импедансов для объектно-ориентированных программ начинается с распознавания различий в используемых конкретных логических системах. |
Alternative methods such as Hoare logic and uniqueness have been developed to track side effects in programs. |
Для отслеживания побочных эффектов в программах были разработаны альтернативные методы, такие как логика Хоара и уникальность. |
Other programs contained incorrect leap year logic, assuming for instance that no year divisible by 100 could be a leap year. |
Другие программы содержали неверную логику високосного года, предполагая, например, что ни один год, делимый на 100, не может быть високосным годом. |
Race conditions can occur especially in logic circuits, multithreaded or distributed software programs. |
Условия гонки могут возникать особенно в логических схемах, многопоточных или распределенных программных программах. |
By using tri-state logic, the matrix can theoretically be expanded to any size, as long as pins are available. |
Используя логику трех состояний, матрица теоретически может быть расширена до любого размера, если имеются контакты. |
Нам будет недоставать его мудрости, чувства юмора и железной логики. |
|
The response includes support services related to health and housing independence, income support programs and other social services. |
Меры реагирования включают в себя оказание социальной поддержки в области охраны здоровья и обеспечения жилищной независимости, программы доплат к доходу и иные социальные услуги. |
Five out of six parliamentary parties call for closer cooperation with NATO in their programs. |
Пять из шести парламентских партий в своих программных требованиях призывают к более тесному сотрудничеству с НАТО. |
If there is a kind of logic, however weak, it seems to revolve around Iran and Israel, rather than Syria per se. |
Если в этих действиях есть своя логика, тем не менее, слабая, она, судя по всему, скорее вращается вокруг Ирана и Израиля, нежели вокруг Сирии самой по себе. |
9.13 It is your sole responsibility to conduct due diligence on the respective software programs you use and determine for yourself whether the software is right for you. |
Вы самостоятельно несете ответственность за проведение надлежащей проверки соответствующих используемых вами компьютерных программ и сами определяете для себя, подходит ли вам соответствующее программное обеспечение. |
Claire, I admit it is hard to reconcile what you are saying with anything resembling logic, or even natural law. |
Клэр, я признаю, что то, что ты сказала сложно осознать, учитывая логику или просто закон природы. |
We'd slipped these little sleeper programs into power grids, dams, hospitals. |
Мы внедряли трояны на электростанции, дамбы, больницы. |
At the same time, we can't ignore the possibility that ES.W.A.T.'s virus protection programs for cyborgs may have been compromised. |
В то же время, мы не можем исключать вероятность что защитные программы для киборгов ES.W.A.T несовершенны. |
When we try and formalize ethics with standard modal logic, we run into some problems. |
Когда мы пытаемся формализовать этику с помощью стандартной модальной логики, мы сталкиваемся с некоторыми проблемами. |
Additionally, language programs and language learning can help address the effects of trauma by providing a means to discuss and understand. |
Кроме того, языковые программы и изучение языка могут помочь справиться с последствиями травмы, предоставляя средства для обсуждения и понимания. |
Many top-tier programs require five or more years of work experience for admission. |
Многие программы высшего уровня требуют пяти и более лет опыта работы для поступления. |
It did not use electronic logic but was based on relay technology, and was built into a desk. |
Он не использовал электронную логику, но был основан на технологии реле и был встроен в стол. |
Among its programs for former players is the Dire Need Trust that provides financial assistance for former NFL players in need. |
Среди его программ для бывших игроков-The Dire Need Trust, который предоставляет финансовую помощь бывшим игрокам НФЛ, нуждающимся в ней. |
The separation of the API from its implementation can allow programs written in one language to use a library written in another. |
Отделение API от его реализации может позволить программам, написанным на одном языке, использовать библиотеку, написанную на другом. |
After the Latin translations of the 12th century, his writings on logic were also an important influence on Western medieval writers such as Albertus Magnus. |
После латинских переводов XII века его труды по логике также оказали значительное влияние на западных средневековых писателей, таких как Альберт Магнус. |
Other programs, such as the Big Green Box program, offer a recycling option for all chemistries, including primary batteries such as alkaline and primary lithium. |
Другие программы, такие как программа Big Green Box, предлагают возможность утилизации для всех химических производств, включая первичные батареи, такие как щелочные и первичные литиевые. |
Guerrillas would be destroyed by fire and their infrastructure eradicated by social welfare programs. |
Партизаны будут уничтожены огнем, а их инфраструктура уничтожена программами социального обеспечения. |
We can include such faulty logic if attributed, but not as original research. |
Мы можем включить такую ошибочную логику, если ее приписать, но не как оригинальное исследование. |
Because direct measurements of water quality can be expensive, ongoing monitoring programs are typically conducted by government agencies. |
Поскольку прямые измерения качества воды могут быть дорогостоящими, программы постоянного мониторинга, как правило, проводятся государственными учреждениями. |
In many programs, applicants with appropriate background may be exempt from various of the analytical courses. |
Во многих программах кандидаты с соответствующим образованием могут быть освобождены от различных аналитических курсов. |
MBA programs are offered in many public and private universities. |
Программы МВА предлагаются во многих государственных и частных университетах. |
Это трехгодичные программы для получения диплома. |
|
Other systems of modal logic have been formulated, in part because S5 does not describe every kind of modality of interest. |
Были сформулированы и другие системы модальной логики, отчасти потому, что S5 не описывает все виды модальности, представляющие интерес. |
We report three questions Russell asked of Dewey's situational logic to explain why he rejected Dewey's definitions and answers. |
Мы сообщаем о трех вопросах, которые Рассел задал ситуационной логике Дьюи, чтобы объяснить, почему он отверг определения и ответы Дьюи. |
In many of the schools that are run by the Christian missionaries, the children actively participate in Christmas programs. |
Во многих школах, управляемых христианскими миссионерами, дети активно участвуют в Рождественских программах. |
The temple grew exponentially during the 1980s, when the temple's programs became widely known among the urban middle class. |
Храм рос экспоненциально в течение 1980-х годов, когда программы храма стали широко известны среди городского среднего класса. |
Podcasts are similar to radio programs in form, but they exist as audio files that can be played at a listener's convenience, anytime or anywhere. |
Подкасты похожи на радиопрограммы по форме, но они существуют как аудиофайлы, которые можно воспроизводить в удобное для слушателя время и в любом месте. |
The recognition of the pattern is subjective and programs that are used for charting have to rely on predefined rules to match the pattern. |
Распознавание паттерна является субъективным, и программы, которые используются для построения графиков, должны полагаться на предопределенные правила, чтобы соответствовать паттерну. |
Some of these pollution sources are difficult to control through national regulatory programs. |
Некоторые из этих источников загрязнения трудно контролировать с помощью национальных программ регулирования. |
There are various systems of logic like ludics that try to be somehow more primitive than Hilbert-style deduction but AFAIK that doesn't help at the very bottom. |
Есть различные системы логики, такие как лудики, которые пытаются быть более примитивными, чем дедукция в стиле Гильберта, но АФАИК, который не помогает в самом низу. |
Programs of training are slightly different depending on the region of the world one is in. . |
Программы обучения немного отличаются в зависимости от региона мира, в котором вы находитесь. . |
Certificate programs are often created or endorsed by professional associations, but are typically completely independent from membership organizations. |
Программы сертификации часто создаются или утверждаются профессиональными ассоциациями, но, как правило, полностью независимы от членских организаций. |
He was opposed to government commodity program payments and an early advocate of set aside programs to benefit conservation. |
Он был противником правительственных платежей по товарным программам и первым сторонником отложенных программ в интересах сохранения. |
Это позволяет пользователям создавать простые программы для PS2. |
|
Menken began his career at the age of 11, when he started appearing on children's radio programs. |
Менкен начал свою карьеру в возрасте 11 лет, когда он начал появляться на детских радиопрограммах. |
Специфика этих программ варьируется от штата к штату. |
|
As an example, X>0 is a constraint, and is included in the last clause of the following constraint logic program. |
Например, X>0 является ограничением и включается в последнее предложение следующей логической программы ограничения. |
The Soviet Union started focusing on Venus and space stations and the U.S. on Mars and beyond, and on the Skylab and Space Shuttle programs. |
Советский Союз начал сосредоточиваться на Венере и космических станциях, а США - на Марсе и за его пределами, а также на программах Скайлэб и Спейс Шаттл. |
Popular comedy-drama programs include Desperate Housewives, Ugly Betty, and Glee. |
Популярные комедийно-драматические программы включают Отчаянные домохозяйки, уродливая Бетти и хор. |
It identifies two problems that may exist in many computer programs. |
Он определяет две проблемы, которые могут существовать во многих компьютерных программах. |
It was thus possible that database programs might act on the records containing unknown dates on that day. |
Таким образом, вполне возможно, что программы баз данных могут воздействовать на записи, содержащие неизвестные даты в этот день. |
The logic behind the design was that more teeth were showing on the wider design. |
Логика этой конструкции заключалась в том, что на более широкой конструкции было видно больше зубов. |
As a practical matter, the use of turtle geometry instead of a more traditional model mimics the actual movement logic of the turtle robot. |
На практике использование черепашьей геометрии вместо более традиционной модели имитирует реальную логику движения робота-черепахи. |
Integrated circuit logic families can provide a single chip solution for some common division ratios. |
Семейства логических интегральных схем могут обеспечить одночиповое решение для некоторых общих коэффициентов деления. |
Other common, similarly named formats and programs with different native formats include 7-Zip, bzip2, and rzip. |
Другие распространенные, аналогично названные форматы и программы с различными собственными форматами включают 7-Zip, bzip2 и rzip. |
As such, I don't think this article adequately explains what defines second-order logic from first-order logic. |
Поэтому я не думаю, что эта статья адекватно объясняет, что определяет логику второго порядка от логики первого порядка. |
First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics. |
Логика первого порядка является стандартом для формализации математики в аксиомы и изучается в основах математики. |
His logic is based on analogy to ethnographic and historic data on related Native American tribal groups in the Southeastern United States. |
Его логика основана на аналогии с этнографическими и историческими данными о родственных индейских племенных группах на юго-востоке Соединенных Штатов. |
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. |
Диалектическая логика - это также название, данное специальной трактовке диалектики в гегелевской и марксистской мысли. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «logic programs».
А именно, здесь можно найти перевод (значение) «logic programs» на русском языке, синонимы, антонимы, краткое определение слов: logic, programs , а также произношение и транскрипцию к «logic programs». Также, к фразе «logic programs» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
