-
1 логике
логике см. также логика -
2 логике вопреки
General subject: by a perverted logic -
3 по логике
По логике-- While judgement would indicate a lesser factor for thick tubes, the point of onset of safety factor reduction remains in question.Русско-английский научно-технический словарь переводчика > по логике
-
4 жестко замонтированный в логике
жестко замонтированный в логике
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > жестко замонтированный в логике
-
5 БМК на интегральной логике Шоттки
Microelectronics: integrated Schottky logic mastersliceУниверсальный русско-английский словарь > БМК на интегральной логике Шоттки
-
6 основанный на логике
Programming: logic-drivenУниверсальный русско-английский словарь > основанный на логике
-
7 относящийся к логике
General subject: logicalУниверсальный русско-английский словарь > относящийся к логике
-
8 относящийся к математической логике
General subject: logico-mathematicalУниверсальный русско-английский словарь > относящийся к математической логике
-
9 по логике, нам следовало бы становиться умнее с годами, но некоторым из нас это не удаётся
General subject: logically, one should become wiser with experience but some people never doУниверсальный русско-английский словарь > по логике, нам следовало бы становиться умнее с годами, но некоторым из нас это не удаётся
-
10 противоречащий логике
General subject: alogicalУниверсальный русско-английский словарь > противоречащий логике
-
11 работа по двузначной логике
Information technology: yes-no operationУниверсальный русско-английский словарь > работа по двузначной логике
-
12 следовать логике
General subject: follow the logic -
13 следуя этой логике
General subject: according to this logicУниверсальный русско-английский словарь > следуя этой логике
-
14 согласно этой логике
General subject: according to this logicУниверсальный русско-английский словарь > согласно этой логике
-
15 специалист по логике
Mathematics: logicianУниверсальный русско-английский словарь > специалист по логике
-
16 специалист по логике или логическому проектированию
Information technology: logicianУниверсальный русско-английский словарь > специалист по логике или логическому проектированию
-
17 тестирование, основанное на логике
Универсальный русско-английский словарь > тестирование, основанное на логике
-
18 язык (программирования), основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык (программирования), основанный на логике предикатов
-
19 язык основанный на логике предикатов
Mechanics: predicate logic languageУниверсальный русско-английский словарь > язык основанный на логике предикатов
-
20 язык программирования , основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык программирования , основанный на логике предикатов
См. также в других словарях:
логике — следовать логике • объект, зависимость, контроль … Глагольной сочетаемости непредметных имён
Видеоигры на дискретной логике — Видеоигры на дискретной логике наиболее ранние видеоигры, аппаратура которых не использовала микропроцессоров и управляющих программ и была выполнена на дискретной логике, то есть на цифровых микросхемах низкой степени интеграции. Видеоигры … Википедия
ТЕОРИЯ В ЛОГИКЕ — ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных… … Философская энциклопедия
От наукоучения — к логике культуры. Два философских... — «ОТ НАУКОУЧЕНИЯ К ЛОГИКЕ КУЛЬТУРЫ. ДВА ФИЛОСОФСКИХ ВВЕДЕНИЯ В ДВАДЦАТЬ ПЕРВЫЙ ВЕК» Эта книга B.C. Библера (М., 1991) является вторым, значительно дополненным изданием его работы «Мышление как творчество: Введение в логику мысленного… … Энциклопедия эпистемологии и философии науки
Индукция (в логике) — Индукция (греч. epagoge, лат. inductio ‒ наведение), вид обобщений, связанных с предвосхищением результатов наблюдений и экспериментов на основе данных прошлого опыта. Именно поэтому и говорят об эмпирических, или индуктивных, обобщениях, или об… … Большая советская энциклопедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Обращение (в логике) — Обращение (лат. conversio), преобразование предложения путём обмена местами его терминов ≈ субъекта и предиката. О. называется простым, если при О. кванторные слова (см. Квантор) не меняются. Просто обращаются все общеотрицательные предложения… … Большая советская энциклопедия
КЛАСС (в логике и математике) — КЛАСС, в логике и математике то же, что множество, т. е. произвольная (конечная или бесконечная) совокупность предметов, выделенных по какому либо признаку и просто перечисленных. Предметы, образующие класс, называются его элементами; понятие… … Энциклопедический словарь
Предложение (в логике) — Предложение в логике предикатов корректно сформированная формула α не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.… … Википедия
Класс (в логике) — Класс (в логике), понятие, выражающее совокупность (множество) предметов, удовлетворяющих каким либо условиям или признакам (иногда различают понятия «К.» и «множество», что бывает связано со специальными вопросами множеств теории); про такие… … Большая советская энциклопедия
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия