Що таке LOGIC Англійською - Англійська переклад

• logic

Приклади вживання Logic Українська мовою та їх переклад на Англійською

Logic Land организації в.
The Logic Land 's.

Перевірте Logic Pro X.
Upgrade to Logic Pro X.

Персоналізовані навчання з Logic Pro.
Mastering in Logic Pro.

Перевірте Logic Pro X.
Recorded on Logic Pro X.

Персоналізовані навчання з Logic Pro.
Recorded through logic pro.

Сторінка з Logic Museum щодо книги«Сентенції».
Page from the Logic Museum about the Book of Sentences.

Про мою теорію«підтвердження»- див. розділ X, а також додаток IX в«The Logic of Scientific Discovery», зокрема p.
For my theory of confirmation, see chapter X and also appendix*ix of The Logic of Scientific Discovery, especially p.

Серед клієнтів Logic Land- виробничі компанії, телекомунікаційні компанії, торгові фірми та інші организації, в тому числі й закордонні.
There are industrial companies, telecommunication companies, trade enterprises and other organisations including foreign ones among the Logic Land's clients.

Наступне речення мети запитує базу даних, щоб дізнатися, коли Джон викладав логіку і був професором::- teaches(john, logic, T), rank(john, professor, T).
The following goal clause queries the database to find out when john both taught logic and was a professor::- teaches(john, logic, T), rank(john, professor, T).

Фільм був оцінений РZА, членом хіп-хоп групи Ву-Танг клан.[11] Після цього, Logic почав слухати групу, і незабаром висловив глибоку прихильність до хіп-хопу.
The film's score was produced by RZA, a member of the hip hop group Wu-Tang Clan.[11] Following this, Logic began listening to the group, and soon expressed a deep affection for hip hop.

Банк Канади(Bank of Canada, BoC) планує розробити цифрову валюту, яка би замінила фіатні гроші, повідомляє місцева медіа-платформа The Logic.
The Bank of Canada(BoC) is thinking about developing a digital currency that would eventually replace fiat money completely, according to local media platform The Logic.

Вересня Logic випустив трейлер до свого майбутнього другого альбому, оголосивши, що альбом буде випущений восени 2015 року і вважатиметься«науково-фантастичним кінофільмом-епіком».
On September 8, Logic released the trailer for his upcoming second album, announcing that the album will be released in the fall of 2015 and is considered a"motion picture sci-fi epic".

Він брав участь у розробці мови програмування IPL і двох самих ранніх програм штучного інтелекту- Logic Theory Machine(1956) і General Problem Solver(1957)(спільно з Гербертом Саймоном).
He contributed to the Information Processing Language(1956) and two of the earliest AI programs, the Logic Theory Machine(1956) and the General Problem Solver(1957).

Łukasiewicz,(1951) Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, Chapter IV«Aristotle's System in Symbolic Form»(секція«Explanation of the Symbolism»), сторінка 78 і далі.
Łukasiewicz,(1951) Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, Chapter IV"Aristotle's System in Symbolic Form"(section on"Explanation of the Symbolism"), pp. 78 and on.

Однією з переваг використання Mac є ексклюзивна підтримка додатків, яку ви не можете знайти на інших платформах за допомогою Logic Pro X, який є одним з кращих програм для редагування звуку на ринку.
One of the benefits of using a Mac is the exclusive app support that you cannot find on other platforms with Logic Pro X which is one of the best audio editing software on the market being one of them.

Ansel Elgort- Thief У цей період він також співпрацював з репером Logic, допомагаючи йому з записом третього студійного альбому«Everybody»- голос актора можна почути у пісні«Killing Spree».
During this period, he also collaborated with the rapper Logic, helping him with the recording of the third studio album"Everybody"- the voice of the actor can be heard in the song"Killing Spree".

Він брав участь у розробці мови програмування IPL і двох самих ранніх програм штучного інтелекту- Logic Theory Machine(1956) і General Problem Solver(1957)(спільно з Гербертом Саймоном).
He contributed to the Information Processing Language(1956) and two of the earliest AI programs, the Logic Theory Machine(1956) and the General Problem Solver(1957)(with Herbert A. Simon).

Липня 2016 року, Logic випустив мікстейп під назвою Bobby Tarantino.[49] це шостий мікстейп Logic-а, і перший з 2013 року Young Sinatra: Welcome to Forever і вийшов несподівано у Твіттері Logic-а.
On July 1, 2016, Logic released a mixtape titled Bobby Tarantino.[49] It is Logic's sixth mixtape, and his first since 2013's Young Sinatra: Welcome to Forever and was released unexpectedly via Logic's Twitter account.

Є цілий ряд таких мов, як приватних, так і засновані на стандартах: Common logic це стандарт ISO 24707, специфікація для низки онтологічних мов, які можуть бути точно переведені одна в одну.
There are a number of such languages for ontologies, both proprietary and standards-based: Common logic is ISO standard 24707, a specification for a family of ontology languages that can be accurately translated into each other.

Видання Logic, яке провело аналіз по запиту на доступ до інформації, виявило, що BoC серйозно ставиться до розробки власної цифрової валюти для боротьби з"прямою загрозою" від криптовалют.
The Logic, which acquired the presentation through an access-to-information request, found out that the BoC is serious about developing its own digital currency to fight the“direct threat” of cryptocurrencies.

Він брав участь у розробці мови програмування IPL і двох самих ранніх програм штучного інтелекту- Logic Theory Machine(1956) і General Problem Solver(1957)(спільно з Гербертом Саймоном).
He helped develop the Information Processing Language(IPL)(1956), as well as two of the earliest AI programs, the Logic Theory Machine(1956) and the General Problem Solver(1957, alongside Hebert A. Simon).

На цьому курсі студенти дізнаються, як розгорнути шаблон ARM в групі ресурсів, створити складне розгортання за допомогою інструментів будівельних блоків Azure і інтегрувати API або Logic App зі службою управління API.
On this course students will learn how to deploy an ARM template to a resource group, author a complex deployment using the Azure Building Blocks tools, and integrate an API or Logic App with the API Management service.

Я дуже смиренний, щоб бути частиною найбільш культового хіп-хоп Лейблу всіх часів".[25] Logic ознайомився з Кід Каді, співробітником Дефа Джема великий Шоном і Тайлер, Творцем на"The Cud Life Tour 2013", протягом осені цього року.[26].
I'm very humbled to be a part of the most iconic hip hop label of all time."[25] Logic toured with Kid Cudi, fellow Def Jam signee Big Sean, and Tyler, the Creator on"The Cud Life Tour 2013", throughout the fall of the year.[26].

Цей курс призначений для архітекторів хмарних рішень, які хочуть дізнатися, як розгорнути шаблон ARM в групі ресурсів, створити складне розгортання за допомогою інструментів будівельних блоків Azure і інтегрувати API або Logic App зі службою управління API.
This course is for Cloud Solutions Architects who want to learn how to deploy an ARM template to a resource group, author a complex deployment using the Azure Building Blocks tools, and integrate an API or Logic App with the API Management service.

Відомі журнали, які публікують PLT: the ACM Transactions on Programming Languages and Systems(TOPLAS), Journal of Functional Programming(JFP), Journal of Functional and Logic Programming, and Higher-Order and Symbolic Computation.
Notable journals that publish PLT research include the ACM Transactions on Programming Languages and Systems(TOPLAS), Journal of Functional Programming(JFP), Journal of Functional and Logic Programming, and Higher-Order and Symbolic Computation.

Наприкінці 1950-х років більшість цих підходів були відкинуті, коли дослідники почали досліджувати символічні системи як сутність інтелекту, розвиваючи успіх програм, таких як Logic Theorist[en] та General Problem Solver[10].
In the late 1950s, most of these approaches were abandoned when researchers began to explore symbolic reasoning as the essence of intelligence, following the success of programs like the Logic Theorist and the General Problem Solver.[10].

У сучасних записах завдання запису та мікшування часто централізовано в комп'ютерах, використовуючи цифрові аудіосистеми, такі як Pro Tools, Logic Pro, Ableton, Cubase і FL Studio, які часто використовуються з сторонніми плагінами для віртуальних студійних технологій.
In modern-day recordings, recording and mixing tasks are commonly centralized within computers using digital audio workstations such as Pro Tools, Logic Pro, Ableton, Cubase, and FL Studio, which all are often used with third party virtual studio technology plugins.

Квітня було оголошено, що Logic підписав контракт з Def Jam Recordings, з Деф Джемом, продюсером No I. D., що виступає в якості виконавчого продюсера свого дебютного альбому.[24] Logic випустив публічну заяву з приводу підписання, заявивши, що"я схвильований, щоб зробити наступний крок у моїй кар'єрі.
On April 15, it was announced that Logic had signed with Def Jam Recordings, with Def Jam producer No I.D. serving as the executive producer of his debut album.[24] Logic released a public statement about the signing, stating,"I'm excited to take this next step in my career.

Серія ST Човникова функція клапана, як два зворотних клапана об'єднати разом, він широко використовувати в ланцюгу схеми або програми Logic, напрямок повітря може бути визначено за вибором під тиском, коли перепад тиску Позитивний один порт відкриті і безповоротний, інший порт запірного, коли перепад тиску негативна, то функція дію буде скасовано.
ST Series Shuttle valve function like two check valve combine together, it is widely use in the Logic circuit or program circuit, the air direction can be determined by selectable by pressure, when pressure differential Positive one port open and non-return, another port shut, when pressure differential negative, the action function will be reversed.