ЛОГИК - перевод на Английском

• logician

Примеры использования Логик на Русском языке и их переводы на Английский язык

В большинстве типов логик, которые можно определить как« статические»,
In most types of logic design, termed static logic,

Возникает потребность в физически обоснованном развитии n- значных логик до двухмерного их расширения,
There is a need for physically proved development n- value logics before their two-dimensional expansion corresponding two,

У одного человека оно логически ориентировано( хороший“ логик”), у другого- интуитивно ориентировано( с хорошей интуицией),
With one person it is logically oriented(good logics), with some other intuitively oriented(with good intuition),

цель парадокса заключается в демонстрации, казалось бы, противоречивых логик, а не фактического уровня рождаемости.
the purpose of the paradox is to demonstrate seemingly contradictory logic, not actual birth rates.

при этом большинство результатов было получено для пропозициональных логик.
with most results having been obtained for propositional logics.

Модели, более мощные, чем машина Тьюринга, были введены Аланом Тьюрингом в его работе 1939 года« Системы логик, основанных на ординалах».
A computational model going beyond Turing machines was introduced by Alan Turing in his 1938 PhD dissertation Systems of Logic Based on Ordinals.

контексте логики первого порядка, хотя он используется также и для неклассических логик.
but are of interest for other logics as well.

построение специализированных доменных логик, спецификация и верификация распределенных
specialized domain logics construction, distributed

В октябре, сведя эти знания в систему и изложив их в виде Логик и Аксиом, Рон поделился ими на специально созванной конференции одиторов.
In October, codifying this knowledge into the Logics and Axioms, Ron unveiled them to a specially convened conference of auditors.

Однако MSO1 и MSO2 могут быть расширены до логик, называемых CMSO1 и CMSO2,
However, MSO1 and MSO2 can be extended to logics called CMSO1 and CMSO2,

была предложена Рут Маркус( англ. Ruth Barcan Marcus) для модальных логик в начале 1960- х
to as substitutional quantification) was advocated by Ruth Barcan Marcus for modal logics in the early 1960s

Невозможность трактовать n- значных логик в науке( а также в мышлении,
The impossibility to treat n- value logics in a science(and also in thinking,

Одним словом, здесь описан весь процесс развития: систематизация знания в виде Логик и Аксиом( лекции« Логики
In short, here is the complete evolution from the codification of the Logics and Axioms(the lectures,

Ты взываешь к логике и здравому смыслу.
You appeal to logic and common sense.

Логика и методология естественнонаучного
Logic and methodology of natural sciences

Логику и внимательность можно тренировать в любом возрасте.
Logic and attentiveness can be trained at any age.

Как логике слоя базы данных не затеряться в Rails приложении.
How Not to Lose the Database Logic in Rails Application.

Это упрощает логику, но в результате происходит временная" заморозка" интерфейса.
It simplifies logic, but results in temporary UI freezing.

Не доверяйте логике, потому что она может троллить вас.
Do not trust logic because it can troll you.

О логике и теории науки.
On logic and the theory of science.