корень - ЛОГ; суффикс - ИЧ; суффикс - ЕСК; окончание - ОЕ; Основа слова: ЛОГИЧЕСКВычисленный способ образования слова: Суффиксальный∩ - ЛОГ; ∧ - ИЧ; ∧ ... смотреть
логикалық (қисындылық)
logic hardware
espressione logica
logical expression
• logický výraz
Логическое выражение Логическое выражение - выражение, в котором операндами являются объекты, над которыми выполняются логические операции. Результа... смотреть
logical expression
логі́чний ви́раз
logical statement
logical proposition
1) azione logica 2) funzionamento logico
логічна дія
logical operation
logic operation
logical operation
(logical action and non-logical action) — см. Парето; Остатки и деривации.
logical tree
logical tree
"...3.8. Логическое дерево событий: графическое отражение общего характера развития возможных аварийных ситуаций и аварий с отражением причинно-следств... смотреть
последовательность высказываний, часть которых является ее исходными утверждениями — аксиомами, а все другие выводятся из них по четко указанным правилам вывода (основные из них — дедукция, математическая индукция, правило подстановки) или вводятся с помощью вспомогательных высказываний, определений и лемм. Основное применение логические доказательства имеют в логических и математических науках, а также на теоретическом уровне познания в других науках. В последних логическое доказательство является лишь одним из фрагментов научной теории. Разработкой законов и правил логического доказательства занимается современная (математическая) логика, которую часто кратко определяют как науку о доказательстве. Методологическая ценность логического доказательства состоит в том, что сколь бы длинным оно ни было (с увеличением длины его методологическая ценность только возрастает), оно всегда гарантирует истинность любого своего следствия (теоремы), если посылки (аксиомы) были истинными. Однако имеются определенные ограничения на мощность логических доказательств для научных теорий. Как доказал К. Гедель, даже самая простая в содержательном отношении математическая теория — арифметика натуральных чисел не может быть представлена в виде одного логического доказательства, так как множество ее истинных утверждений всегда будет больше множества ее доказанных утверждений в рамках одного доказательства. Поэтому для любой, особенно достаточно богатой по содержанию научной теории, всегда неизбежно имеет место дополнение ее логически доказанной части соображениями содержательного характера, принимаемых на эмпирической или интуитивной основе. (См. вывод, доказательство, логика).... смотреть
– установление истинности какого–либо суждения посредством приведения других суждений, истинность которых является несомненной. Считается, что доказательство возможно лишь при наличии трех элементов: 1) тезиса (того, что нужно доказать); 2) аргумента (суждения, доказывающего тезис на достаточном основании, то есть того, как доказывается тезис); 3) демонстрации (суждения, показывающего, почему данным аргументам обосновывается именно данный тезис) [88, c. 31].... смотреть
logical evidence, logical proof
inferencia lógica
logisches Glied
logic unit
• logický člen
composant logique
(передачи данных) logical link, logical unit, logic unit
1) valore logico 2) significato logico
логикалық мән
logical value
(в двузначной логике) Boolean value, logic value
• logická hodnota
valeur logique
свойство суждения быть истинным или ложным.
ЛОГИЧЕСКОЕ И ИСТОРИЧЕСКОЕ см. Историческое и логическое. Философский энциклопедический словарь. — М.: Советская энциклопедия.Гл. редакция: ... смотреть
существенные моменты развития объективного мира и методы его познания. Различают объективную логику и историю развития объекта и методы познани... смотреть
logical name
logical name
Логическое имя вида (view logical name) — идентификатор категории представления, соответствующий виду, который может быть выбран пользователем для детали.<br>Пример. Примерами логических имен вида могут быть: геометрия, инерция, кинематика и т.д.<p>[ГОСТ Р 54136-2010. Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь]</p>... смотреть
calcolo logico
- исчисление, символы и правила которого могут бытьинтерпретированы в терминах логики.
logischer Kalkül
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ см. Логистика. Философский энциклопедический словарь.2010. ЛОГИЧЕСКОЕ ИСЧИСЛЕ́НИЕ исчисление (формальная система), допуск... смотреть
исчисление, символы и правила к-рого могут быть интерпретированы в терминах логики.
logical calculus
logical calculus
ЛОГИЧЕСКОЕ исчисление - исчисление, символы и правила которого могут быть интерпретированы в терминах логики.
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ, исчисление, символы и правила которого могут быть интерпретированы в терминах логики.
Исчисление (формальная система), интерпретируемое в терминах какого-либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базо... смотреть
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ , исчисление, символы и правила которого могут быть интерпретированы в терминах логики.