Що таке ЛОГІК Англійською - Англійська переклад

• logician

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

Американський логік Ч. С.
American logic C. C.

Так вважає формальний логік.
We call it formal logic.

Для деяких некласичних логік теорема дедукції не виконується.
For some non-classical logics, the deduction theorem does not hold.

Існують численні напрямки для імовірнісних логік.
There are numerous proposals for probabilistic logics.

Приклад: Гільбертові системи для двох логік висловлень.
Example: Hilbert systems for two propositional logics.

Є два основних логік позаду більшості цих кількісних аргументів.
There are two underlying logics behind most of these quantitative arguments.

Секвенціальні системи виведення для багатозначних логік/ Пинько О. П.
Sequential systems of deduction for many-valued logics/ Pynko А. P.

ЛСе- Логік Сенсорний екстравертований і ЕІі- Етик Інтуїтивний інтровертований.
LSe- Logician Sensory extroverted and EIi- Ethics Intuitive introverted.

Стала усвідомлюватися безперспективність спроб побудови логік відкриття.
Became aware of the futility of attempts to construct the discovery logic.

Цей алгоритм включає в себе різні види логік для закриття торгових наказів.
This algorithm involves different kinds of logics for closing the trading orders.

Ця загальна концепція застосовна для багатьох видів логік і підхожих структур.
This general concept applies to many kinds of logics and suitable structures.

Фон Нейман, а також логік і армійський математик, звели все воєдино.
Von Neumann, and a logician, and a mathematician from the army put this together.

Автором її був не хто інший, як Льюїс Керролл, письменник, логік і математик.
Its author was none other than Lewis Carroll, a writer, a logician and a mathematician.

Арістотель, відомий філософ, вчений і логік, що жив між 384 і 322 рр.
Aristotle was a Greek philosopher, scientist as well as logician who lived between 384 and 322 BC.

Сол Аарон Кріпке(англ. Saul Aaron Kripke, 13 листопада 1940)- американський філософ і логік.
Saul Aaron Kripke(born November 13, 1940) is an American philosopher and logician.

Наприклад, один відомий логік написав книгу під назвою«Як же називається ця книга?».
For example, one well-known logician wrote a book under the title«What is the name of this book?».

Emil Leon Post(*11 лютого 1897-†21 квітня 1954)- польсько-американський математик та логік.
Emil Leon Post(February 11 1897- April 21 1954) was a Polish-American mathematician and logican.

Герой фільму Алан Тьюринг наділений унікальним мисленням, він чудовий математик і логік.
The hero of the film Alan Turing is endowed with unique thinking, he is an excellent mathematician and logician.

У 1932 Курт Гедель визначив систему логік Геделя, проміжну між класичною логікою та інтуїтивною логікою;
In 1932, Kurt Gödel defined a system of logics intermediate between classical and intuitionistic logic;.

Захистила кандидатську дисертацію на тему«Дослідження композиційно-номінативних модальних та темпоральних логік».
Defended Сandidate thesis«Investigation of composition-nominative modal and temporal logics».

Фон Нейман, а також логік і армійський математик, звели все воєдино. Потім їм знадобилося місце для складання.
Von Neumann, and a logician, and a mathematician from the army put this together. Then, they needed a place to build it.

У суперінтуіционістських і модальних логік, логіка є структурно повною, якщо кожне допустиме правило є виведеним.
In superintuitionistic and modal logics, a logic is structurally complete if every admissible rule is derivable.

Логік Альфред Тарський змінив сентенцію на Inimicus Plato sed magis inimica falsitas(«Платон ворог, але брехня більший ворог»).
Logician Alfred Tarski excused his Platonism by amending the formula to Inimicus Plato sed magis inimica falsitas("Plato is an enemy, but falsehood is a greater enemy").

Ґрунтуючись на цих моделях, логік Річард Монтегю запропонував, що семантика також може бути побудована на основі формальної структури.
Building on these models, the logician Richard Montague proposed that semantics could also be constructed on top of the formal structure.

Мішель Вебер спеціалізується на так званій"метафізиці процесу" або"філософії організму", творцем якої є англо-американський математик, логік, філософ Альфред Норт Вайтгед.
Michel Weber is specialized on process metaphysics or‘philosophy of organism' creator of which was Anglo-American mathematician, logician, philosopher Alfred North Whitehead.

Алан Тьюринг, прославлений математик і логік, а тоді- ще зовсім молодий і амбітний вчений,- береться за непросту задачу в надії виграти в цій битві.
Alan Turing, a renowned mathematician and logician, and then still a very young and ambitious scientist, takes on a difficult task in the hope of winning this battle.

Теоретико-ігрова семантика недавно була відроджена Яакко Гінтікка для логік(кінцевої) частково покритої квантифікації, які спочатку досліджувалися Леоном Генкіним.
Game-theoretical semantics has made a resurgence lately mainly due to Jaakko Hintikka for logics of(finite) partially ordered quantification which were originally investigated by Leon Henkin, who studied Henkin quantifiers.

Більшість формальних логік мають монотонне відношення наслідків, що означає, що додавання формули до теорії ніколи не призводить до зменшення її множини наслідків.
Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences… Wikipedia.

Прекрасний математик і логік Льюїс Керрол написав роман«Аліса в Задзеркаллі» під Різдво 1871 року, де автор описує пригоди дівчинки Аліси, яка пройшовши крізь дзеркало опиняється в абсолютно дивовижному і парадоксальному світі.
Mathematician and logician Lewis Carroll wrote the novel"Alice Through the Looking-Glass" at Christmas in 1871, where the author describes the adventures of a girl, who passed through the mirror and enters completely surprising and paradoxical world.