Большой российский энциклопедический словарь
ЛОГИ́ЧЕСКИЙ ЗАКОН, назв. законов, образующих основу логич. дедукции; схема логич. связи высказываний, выражаемая общезначимой формулой логики (аксиомой или теоремой), убедительность к-рой вытекает из одного только истолкования входящих в неё логич. операций и по существу не связана с фактич. истинностью "наполняющих" её высказываний.
Большой российский энциклопедический словарь
ЛОГИ́ЧЕСКИЙ ПОЗИТИВИЗМ, течение неопозитивизма, возникшее в 1920-х гг. ( Венский кружок ); пытался сочетать эмпиризм, основывающийся на принципе верификации , с методом логич. анализа науч. знания. Со 2-й пол. 30-х гг. стал известен под назв. логич. эмпиризма; с 60-х гг. не существует как самостоятельное течение. См. также Аналитическая философия .
Большой российский энциклопедический словарь
ЛОГИ́ЧЕСКИЙ СИНТАКСИС, в широком смысле - теория (возможно, аксиоматическая), рассматривающая осн. принципы построения логич. исчислений и их формальную структуру (теоретический Л.с.); в узком смысле - запас выразит. средств для формулирования утверждений о формальных выражениях (языке) логич. исчисления (элементарный Л.с.).
Большой российский энциклопедический словарь
ЛОГИ́ЧЕСКИЙ ЭЛЕМЕНТ, простейшая структурная единица ЭВМ, выполняющая определ. логич. операцию над двоичными переменными. Реализуется обычно на электронных приборах (полупроводн. диодах, транзисторах) и резисторах либо в виде интегральной микросхемы; имеет неск. входов для приёма сигналов, соответствующих исходным переменным, и выход для выдачи сигнала, соответствующего результату операций.
Большой русско-английский словарь
прил. logical логический вывод логическая последовательность
логич|еский - logical
~ вывод logical conclusion
~ность ж. logic
~ный logical
Большой русско-английский словарь
автоморфизм
мат. logic automorphism
Большой русско-английский словарь
алгоритм
logic(al) algorithm
Большой русско-английский словарь
анализ
мат. logical analysis
Большой русско-английский словарь
анализатор шины
bus grabber
Большой русско-английский словарь
блок
book, logical block, logic(al) unit
Большой русско-английский словарь
блок ветвления
decision box
Большой русско-английский словарь
блок объединения
multiple connector, connector
Большой русско-английский словарь
ввод-вывод
logical input/output
Большой русско-английский словарь
выбор
logical choice, logic(al) decision
Большой русско-английский словарь
зажим
logic clip, clip, logic clipboard, clipboard
Большой русско-английский словарь
изоморфизм
мат. logical isomorphism
Большой русско-английский словарь
импульсный генератор
logic pulser
Большой русско-английский словарь
квадрат
мат. logical square
Большой русско-английский словарь
квантор
мат. logical quantifier
Большой русско-английский словарь
кодификат
мат. logical codificate
Большой русско-английский словарь
контрпример
мат. logical counterexample